- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
2022/01/01 by Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner · 1 citation
Computer Science · #Active Objects #Advanced Software Engineering Methodologies #Computing methodologies → Distributed programming languages #Computing methodologies → Model verification and validation #Differential Dynamic Logic #Formal Methods in Verification #Hybrid Systems #Model-Driven Software Engineering Techniques #Theory of computation → Logic and verification #Theory of computation → Timed and hybrid models