Automated Machine-Checked Hybrid System Safety Proofs

DOI10.1007/978-3-642-14052-5_19zbMath1291.68343OpenAlexW2106424662MaRDI QIDQ5747654

Dan Synek, Eelis van der Weegen, Herman Geuvers, Adam Koprowski

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

ROSCoq: Robots Powered by Constructive Reals ⋮ Classical mathematics for a constructive world

Uses Software

• Coq
• PHAVer
• RSOLVER
• Benchmarks
• C-CoRN
• HSolver

This page was built for publication: Automated Machine-Checked Hybrid System Safety Proofs