KeY-C
From MaRDI portal
Software:13243
No author found.
Related Items (5)
An exercise on the generation of many-valued dynamic logics ⋮ Types, Maps and Separation Logic ⋮ HOL-Boogie -- an interactive prover-backend for the verifying C compiler ⋮ Verification of the ROS NavFn planner using executable specification languages ⋮ A system for compositional verification of asynchronous objects
This page was built for software: KeY-C
