Transformations for Compositional Verification of Assumption-Commitment Properties

DOI10.1007/978-3-319-11439-2_17zbMath1448.68309OpenAlexW2216182229MaRDI QIDQ3447708

Ahmed Mohsin Mahdi, Bernd Westphal, Martin Fränzle

Publication date: 28 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11439-2_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
• Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
• A theory of timed automata
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Compositional Abstraction Techniques for Probabilistic Automata
• Timed Automata with Disjoint Activity
• Static contract checking for Haskell
• Verification of Hybrid Automata Diagnosability by Abstraction
• Formal Methods for the Design of Real-Time Systems
• Real-Time Systems