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