scientific article; zbMATH DE number 2080053

MaRDI QIDQ4472243zbMATH OpenFDO

Authors Vineet Kahlon, E. Allen Emerson

Publication date 4 August 2004

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
• scientific article; zbMATH DE number 2086421
• 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)

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

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