KeY-C

MaRDI QIDQ13243swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-540-73595-3_27

Cited in

(8)

• Types, Maps and Separation Logic
• 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
• ASMKeY
• Marathon 2
• ROSMonitoring
• Verification of the ROS NavFn planner using executable specification languages

This page was built for software: KeY-C