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

@@ Property / DOI @@
-.1007/s10472-010-9208-8
@@ Property / DOI: 10.1007/s10472-010-9208-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+B4Free
@@ Property / describes a project that uses: B4Free / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Atelier B
@@ Property / describes a project that uses: Atelier B / 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 @@
+Spin-to-Grape
@@ Property / describes a project that uses: Spin-to-Grape / 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.1007/s10472-010-9208-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2054273693
@@ Property / OpenAlex ID: W2054273693 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10472-010-9208-8
@@ Property / DOI: 10.1007/S10472-010-9208-8 / rank @@
+Normal rank