Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449): Difference between revisions

@@ Property / DOI @@
-.1016/j.cl.2004.02.006
@@ Property / DOI: 10.1016/j.cl.2004.02.006 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness and related properties in transition systems - a temporal logic to deal with fairness
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769579
@@ Property / cites work: Q2769579 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+An experience in proving regular networks of processes by modular model checking
+Normal rank
@@ Property / cites work @@
+Automatic verification of parameterized networks of processes
+Normal rank
@@ Property / cites work @@
+Control and data abstraction: The cornerstones of practical formal verification
+Normal rank
@@ Property / cites work @@
+Q4484481
@@ Property / cites work: Q4484481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223070
@@ Property / cites work: Q4223070 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Q4817539
@@ Property / cites work: Q4817539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518896
@@ Property / cites work: Q4518896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754094
@@ Property / cites work: Q2754094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551152
@@ Property / cites work: Q4551152 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+An approach to automating the verification of compact parallel coordination programs. I
+Normal rank
@@ Property / cites work @@
+Q4804890
@@ Property / cites work: Q4804890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709807
@@ Property / cites work: Q2709807 / rank @@
+Normal rank
@@ Property / cites work @@
+The choice coordination problem
@@ Property / cites work: The choice coordination problem / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric and economical solutions to the mutual exclusion problem in a distributed system
+Normal rank
@@ Property / cites work @@
+Q4736998
@@ Property / cites work: Q4736998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417853
@@ Property / cites work: Q4417853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754073
@@ Property / cites work: Q2754073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538132
@@ Property / cites work: Q5538132 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic verification
@@ Property / cites work: Probabilistic verification / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.CL.2004.02.006
@@ Property / DOI: 10.1016/J.CL.2004.02.006 / rank @@
+Normal rank