scientific article; zbMATH DE number 177256

MaRDI QIDQ4037111zbMATH OpenFDO

Authors Gil Shurek, Orna Grumberg

Publication date 18 May 1993

zbMATH Keywords

model checkingtemporal 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 177517
• Modular development of certified program verifiers with a proof assistant,
• Modular specification and verification of object-oriented programs
• Modular specification and verification of object-oriented programs
• scientific article; zbMATH DE number 1361119

Cited in

(11)

• The verification of modules
• A coverification framework
• ProMoVer: modular verification of temporal safety properties
• scientific article; zbMATH DE number 176727 (Why is no real title available?)
• scientific article; zbMATH DE number 177259 (Why is no real title available?)
• scientific article; zbMATH DE number 177517 (Why is no real title available?)
• scientific article; zbMATH DE number 1361119 (Why is no real title available?)
• scientific article; zbMATH DE number 2087622 (Why is no real title available?)
• Modular specification of frame properties in JML
• Towards modularly comparing programs using automated theorem provers
• Modular abstractions for verifying real-time distributed systems

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