A Two-Way Path Between Formal and Informal Design of Embedded Systems
Publication:2971176
DOI10.1007/978-3-319-52228-9_4zbMath1483.68074MaRDI QIDQ2971176
Anders P. Ravn, Naijun Zhan, Mengfei Yang, Mingshuai Chen, Shu-Ling Wang
Publication date: 4 April 2017
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: http://www.springer.com/us/book/9783319522272
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
93-10: Mathematical modeling or simulation for problems pertaining to systems and control theory
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantic translation of Simulink diagrams to input/output extended finite automata
- A formal framework for modeling and validating simulink diagrams
- An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
- Formal Modelling, Analysis and Verification of Hybrid Systems
- A Two-Way Path Between Formal and Informal Design of Embedded Systems
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Formal Verification of Simulink/Stateflow Diagrams
- FM 2005: Formal Methods