The sweep-line state space exploration method (Q418783): Difference between revisions

@@ Property / author @@
-Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
-Normal rank
@@ Property / author @@
+Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Design/CPN
@@ Property / describes a project that uses: Design/CPN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiVinE
@@ Property / describes a project that uses: DiVinE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LoLA
@@ Property / describes a project that uses: LoLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Murphi
@@ Property / describes a project that uses: Murphi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.12.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2133556419
@@ Property / OpenAlex ID: W2133556419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Petri nets. 1: Basic models. Advances in Petri nets
+Normal rank
@@ Property / cites work @@
+State space reduction using partial order techniques
+Normal rank
@@ Property / cites work @@
+The ComBack Method – Extending Hash Compaction with Backtracking
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769607
@@ Property / cites work: Q2769607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808851
@@ Property / cites work: Q4808851 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2766586
@@ Property / cites work: Q2766586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045260
@@ Property / cites work: Q3045260 / rank @@
+Normal rank
@@ Property / cites work @@
+Coloured Petri Nets
@@ Property / cites work: Coloured Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422088
@@ Property / cites work: Q4422088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045268
@@ Property / cites work: Q3045268 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4037380
@@ Property / cites work: Q4037380 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank