Automating modular verification

DOI10.1007/3-540-48320-9_8MaRDI QIDQ4270053zbMATH OpenFDO

Authors Luca De Alfaro, Freddy Y. C. Mang, Rajeev Alur, Thomas A. Henzinger

Publication date 10 November 1999

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

Full work available at URL https://doi.org/10.1007/3-540-48320-9_8

zbMATH Keywords

modular techniques

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 177256
• scientific article; zbMATH DE number 177517
• Practical Efficient Modular Linear-Time Model-Checking

Cited in

(7)

• Compositional verification and 3-valued abstractions join forces
• ProMoVer: modular verification of temporal safety properties
• scientific article; zbMATH DE number 140003 (Why is no real title available?)
• scientific article; zbMATH DE number 177256 (Why is no real title available?)
• scientific article; zbMATH DE number 2087622 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Automatic symbolic compositional verification by learning assumptions

This page was built for publication: Automating modular verification

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