scientific article; zbMATH DE number 1927558

zbMATH Open1012.68134MaRDI QIDQ4484482FDOQ4484482

Authors: Marcus Nilsson, Julien d'Orso, Parosh A. Abdulla, Bengt Jonsson 

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210116.htm

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

Recommendations

• Regular model checking revisited
• scientific article; zbMATH DE number 1670791
• CONCUR 2004 - Concurrency Theory
• Regular model checking: evolution and perspectives
• Regular model checking using widening techniques
• Computer Aided Verification
• Regular model checking with regular relations
• scientific article; zbMATH DE number 2080188
• Practical Efficient Modular Linear-Time Model-Checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (18)

• Parameterised verification for multi-agent systems
• Iterating transducers
• Automatic Verification of Directory-Based Consistency Protocols
• View abstraction for systems with component identities
• Automated formal analysis and verification: an overview
• Tools and Algorithms for the Construction and Analysis of Systems
• Tree regular model checking: a simulation-based approach
• Handling Parameterized Systems with Non-atomic Global Conditions
• Monotonic Abstraction in Action
• Monotonic abstraction in parameterized verification
• Easy instances for model checking
• Efficiency of automata in semi-commutation verification techniques
• Model checking parameterized systems
• Algorithmic improvements in regular model checking.
• Simplifying Alternating Automata for Emptiness Testing
• Approximated parameterized verification of infinite-state processes with global conditions
• Practical Efficient Modular Linear-Time Model-Checking
• 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 Q4484482)