scientific article; zbMATH DE number 177517

MaRDI QIDQ4037386zbMATH OpenFDO

Authors Gil Shurek, Orna Grumberg

Publication date 18 May 1993

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?)
• scientific article; zbMATH DE number 1361119 (Why is no real title available?)

This page was built for publication:

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