Deductive verification of modular systems

DOI10.1007/3-540-49213-5_9MaRDI QIDQ7010074zbMATH OpenFDO

Authors Bernd Finkbeiner, Zohar Manna, Henny B. Sipma

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
• Generalized temporal verification diagrams
• Hierarchical verification using verification diagrams
• scientific article; zbMATH DE number 3902010 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 514046 (Why is no real title available?)
• scientific article; zbMATH DE number 1479642 (Why is no real title available?)
• Proofs of Networks of Processes
• Tentative steps toward a development method for interfering programs

This page was built for publication: Deductive verification of modular systems

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