The sweep-line state space exploration method
DOI10.1016/J.TCS.2011.12.036zbMATH Open1238.68085DBLPjournals/tcs/JensenKM12OpenAlexW2133556419WikidataQ58624699 ScholiaQ58624699MaRDI QIDQ418783FDOQ418783
Authors: Kurt Jensen, Thomas Mailund, Lars M. Kristensen 
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.036
Recommendations
verificationmodel checkingcoloured Petri netsconcurrent systemsexplicit state space explorationstate explosionsweep-line method
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A theory of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coloured Petri Nets
- An improvement of McMillan's unfolding algorithm
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- Title not available (Why is that?)
- State space reduction using partial order techniques
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The ComBack Method – Extending Hash Compaction with Backtracking
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
- Formal Methods in Computer-Aided Design
- Lectures on Concurrency and Petri Nets
- To store or not to store.
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A sweep-line method for Büchi automata-based model checking
- Tools and Algorithms for the Construction and Analysis of Systems
- Hybrid on-the-fly LTL model checking with the sweep-line method
Uses Software
This page was built for publication: The sweep-line state space exploration method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418783)
