The modular framework of computer-aided verification

DOI10.1007/BFB0023712MaRDI QIDQ4037386zbMATH OpenFDO

Authors Gil Shurek, Orna Grumberg

Publication date 18 May 1993

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

Full work available at URL https://doi.org/10.1007/BFB0023712

zbMATH Keywords

proof system schemestemporal logic specificationsverification of finite-state programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177256
• A verification system for concurrent programs based on the Boyer-Moore prover
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 3932379
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings

Cited in

(5)

• The verification of modules
• Compositional minimisation of finite state systems using interface specifications
• ProMoVer: modular verification of temporal safety properties
• scientific article; zbMATH DE number 177256 (Why is no real title available?)
• Automating modular verification

This page was built for publication: The modular framework of computer-aided verification

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