Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711): Difference between revisions

@@ Property / author @@
-Alastair F. Donaldson
@@ Property / author: Alastair F. Donaldson / rank @@
-Normal rank
@@ Property / author @@
+Alastair F. Donaldson
@@ Property / author: Alastair F. Donaldson / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymmPa
@@ Property / describes a project that uses: SymmPa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Threader
@@ Property / describes a project that uses: Threader / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymmExtractor
@@ Property / describes a project that uses: SymmExtractor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MAGIC
@@ Property / describes a project that uses: MAGIC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1991405126
@@ Property / OpenAlex ID: W1991405126 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124843770
@@ Property / Wikidata QID: Q124843770 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Context-aware counter abstraction
@@ Property / cites work: Context-aware counter abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Boolean programs with unbounded thread creation
+Normal rank
@@ Property / cites work @@
+Automatic symmetry detection for Promela
@@ Property / cites work: Automatic symmetry detection for Promela / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426384
@@ Property / cites work: Q4426384 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate abstraction and refinement for verifying multi-threaded programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank