- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
2022/12/07 by Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner · 1 citation
#Active Objects #Computing methodologies → Distributed programming languages #Computing methodologies → Model verification and validation #Differential Dynamic Logic #Hybrid Systems #Theory of computation → Logic and verification #Theory of computation → Timed and hybrid models