scientific article; zbMATH DE number 2080053

zbMATH Open1043.68569MaRDI QIDQ4472243FDOQ4472243

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)

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)