A unifying model checking approach for safety properties of parameterized systems

DOI10.1007/3-540-44585-4_29MaRDI QIDQ4551161zbMATH OpenFDO

Authors Monika Maidl

Publication date 4 September 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020311

Mathematics Subject Classification ID

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

Recommendations

• Constraint-based model checking for parameterized synchronous systems
• Model checking parameterized systems
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Model checking parameterised multi-token systems via the composition method
• Model-checking and abstraction to the aid of parameterized systems

Cited in

(4)

• Undecidability of safety for the schematic protection model with cyclic creates
• Model checking parameterized systems
• A decidability result for the model checking of infinite-state systems
• Constraint-based model checking for parameterized synchronous systems

This page was built for publication: A unifying model checking approach for safety properties of parameterized systems

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