Efficient approximate verification of B and Z models via symmetry markers (Q622591): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining symmetry reduction and under-approximation for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q5452300
@@ Property / cites work: Q5452300 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Approximate Verification of Promela Models Via Symmetry Markers
+Normal rank
@@ Property / cites work @@
+Z2SAL: a translation-based model checker for Z
@@ Property / cites work: Z2SAL: a translation-based model checker for Z / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734837
@@ Property / cites work: Q2734837 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, Algorithms, and Optimization
@@ Property / cites work: Graphs, Algorithms, and Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234989
@@ Property / cites work: Q4234989 / rank @@
+Normal rank
@@ Property / cites work @@
+The High Road to Formal Validation:
@@ Property / cites work: The High Road to Formal Validation: / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank