Taking Some Burden Off an Explicit CTL Model Checker (Q6184728): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-21571-2_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2950829809
@@ Property / OpenAlex ID: W2950829809 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification of CTL formulae for efficient model checking of Petri nets
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733398
@@ Property / cites work: Q4733398 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
+Normal rank
@@ Property / cites work @@
+Q2772443
@@ Property / cites work: Q2772443 / rank @@
+Normal rank
@@ Property / cites work @@
+More efficient on-the-fly LTL verification with Tarjan's algorithm
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+A partial approach to model checking
@@ Property / cites work: A partial approach to model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356435
@@ Property / cites work: Q4356435 / rank @@
+Normal rank
@@ Property / cites work @@
+Question-guided stubborn set methods for state properties
+Normal rank
@@ Property / cites work @@
+New Algorithms for Deciding the Siphon-Trap Property
+Normal rank
@@ Property / cites work @@
+Q4507830
@@ Property / cites work: Q4507830 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353636
@@ Property / cites work: Q4353636 / rank @@
+Normal rank
@@ Property / cites work @@
+Stubborn Set Intuition Explained
@@ Property / cites work: Stubborn Set Intuition Explained / rank @@
+Normal rank
@@ Property / cites work @@
+Applying CEGAR to the Petri Net State Equation
@@ Property / cites work: Applying CEGAR to the Petri Net State Equation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6184728