Constraint-based model checking for parameterized synchronous systems

DOI10.1007/3-540-45988-X_7MaRDI QIDQ4737126zbMATH OpenFDO

Authors Giorgio Delzanno

Publication date 11 August 2004

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/2309/23090072.htm

Mathematics Subject Classification ID

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

Recommendations

• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Parameterized model checking of rendezvous systems
• Model checking and abstraction to the aid of parameterized systems (a survey)
• A unifying model checking approach for safety properties of parameterized systems
• MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS

Cited in

(6)

• Model checking of concurrent software systems via heuristic-guided SAT solving
• Parameterized Model Checking of Token-Passing Systems
• A unifying model checking approach for safety properties of parameterized systems
• Abstracting and counting synchronizing processes
• On Reachability in Parameterized Phaser Programs
• Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Constraint-based model checking for parameterized synchronous systems

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