Transformations for compositional verification of assumption-commitment properties

DOI10.1007/978-3-319-11439-2_17MaRDI QIDQ3447708zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Assumption-commitment support for CSP model checking
• Assumption-commitment support for CSP model checking
• scientific article; zbMATH DE number 1956591
• Automated Assumption Generation for Compositional Verification
• Automated assumption generation for compositional verification

Cites work

• A theory of timed automata
• Compositional abstraction techniques for probabilistic automata
• 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) an
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2161330 (Why is no real title available?)
• scientific article; zbMATH DE number 2104628 (Why is no real title available?)
• Real-Time Systems
• Static contract checking for Haskell
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Timed automata with disjoint activity
• Verification of Hybrid Automata Diagnosability by Abstraction

Cited in

(6)

• Assumption-commitment support for CSP model checking
• An explanatory presentation of composition rules for assumption- commitment specifications
• Composition of assumption-commitment specifications in a UNITY style
• scientific article; zbMATH DE number 1615264 (Why is no real title available?)
• scientific article; zbMATH DE number 4213463 (Why is no real title available?)
• Assumption-commitment support for CSP model checking

This page was built for publication: Transformations for compositional verification of assumption-commitment properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3447708)