Model checking large-scale and parameterized resource allocation systems

DOI10.1007/3-540-46002-0_18MaRDI QIDQ4472243zbMATH OpenFDO

Authors Vineet Kahlon, E. Allen Emerson

Publication date 4 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/2280/22800251.htm

Mathematics Subject Classification ID

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

Recommendations

• Model checking parameterized systems
• A parametric analysis of the state explosion problem in model checking
• Parameterized model checking of rendezvous systems
• Model checking and abstraction to the aid of parameterized systems (a survey)
• A parametric analysis of the state-explosion problem in model checking

Cited in

(11)

• Using approximation for the verification of token-scaling models
• Finding cut-offs in leaderless rendez-vous protocols is easy
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• Verification of parametric concurrent systems with prioritised FIFO resource management
• A parametric analysis of the state-explosion problem in model checking
• Parameterised verification for multi-agent systems
• Automated formal analysis and verification: an overview
• Efficient checking of link-reversal-based concurrent systems
• A parametric analysis of the state explosion problem in model checking
• Multi-parameterised compositional verification of safety properties
• Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

This page was built for publication: Model checking large-scale and parameterized resource allocation systems

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