KeY-C
From MaRDI portal
swMATH486MaRDI QIDQ13243FDOQ13243
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-540-73595-3_27
Cited In (8)
- An exercise on the generation of many-valued dynamic logics
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler
- ASMKeY
- Marathon 2
- ROSMonitoring
- 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
