USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software. This thesis presents USIMPL, a component of the Orca project for formal verification that builds on Foster’...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
Virginia Tech
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/81710 |