Cited in
(8)- Types, Maps and Separation Logic
- An exercise on the generation of many-valued dynamic logics
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler
- A system for compositional verification of asynchronous objects
- ASMKeY
- Marathon 2
- ROSMonitoring
- Verification of the ROS NavFn planner using executable specification languages
This page was built for software: KeY-C
