Diagram-based verification of parameterized systems

MaRDI QIDQ3517238zbMATH OpenFDO

Authors Cecilia E. Nugraheni

Publication date 12 August 2008

zbMATH Keywords

predicate diagramstemporal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2176483
• scientific article; zbMATH DE number 2102692
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• scientific article; zbMATH DE number 2079826
• Predicate diagrams for the verification of real-time systems

Cited in

(9)

• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• An approach to the verification of symmetric parameterized distributed systems
• Predicate diagrams for the verification of real-time systems
• scientific article; zbMATH DE number 1670798 (Why is no real title available?)
• Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
• scientific article; zbMATH DE number 2176483 (Why is no real title available?)
• Verifying integrity of decision diagrams
• scientific article; zbMATH DE number 2102692 (Why is no real title available?)
• On Diagrams and General Model Checkers

This page was built for publication: Diagram-based verification of parameterized systems

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