scientific article; zbMATH DE number 1059333

MaRDI QIDQ4353640zbMATH OpenFDO

Authors Patrice Godefroid

Publication date 10 September 1997

zbMATH Keywords

real protocolverification by state-space exploration

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• scientific article; zbMATH DE number 177513
• scientific article; zbMATH DE number 177254

Cited in

(8)

• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Partial model checking of modal equations: a survey
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• scientific article; zbMATH DE number 177254 (Why is no real title available?)
• scientific article; zbMATH DE number 177513 (Why is no real title available?)
• scientific article; zbMATH DE number 1490013 (Why is no real title available?)
• Unfolding Concurrent Well-Structured Transition Systems
• Application of partial-order methods to reactive programs with event memorization

Describes a project that uses

Uses Software

• CESAR

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