hybrid Hoare logic

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
We introduce a toolchain MARS for Modelling, Analyzing and veRifying hybrid Systems we developed in the past years. Using MARS, we …
PDF Cite Code DOI
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
A Two-Way Path between Formal and Informal Design of Embedded Systems
It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it …
PDF Cite Code Slides DOI
A Two-Way Path between Formal and Informal Design of Embedded Systems