The following pages link to KeY-C (Q13243):
Displaying 5 items.
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler (Q2655335) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- Types, Maps and Separation Logic (Q3183535) (← links)