KeY-C
From MaRDI portal
Software:13243
swMATH486MaRDI QIDQ13243FDOQ13243
Author name not available (Why is that?)
Cited In (5)
- 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
- Verification of the ROS NavFn planner using executable specification languages
- Types, Maps and Separation Logic
This page was built for software: KeY-C
