Now showing items 1-1 of 1
USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
(Virginia Tech, 2017-12-21)
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, ...