System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022): Difference between revisions

@@ Property / describes a project that uses @@
+Predator
@@ Property / describes a project that uses: Predator / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gauss
@@ Property / describes a project that uses: Gauss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YASM
@@ Property / describes a project that uses: YASM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KITTeL
@@ Property / describes a project that uses: KITTeL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SimGridMC
@@ Property / describes a project that uses: SimGridMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2789276100
@@ Property / OpenAlex ID: W2789276100 / rank @@
+Normal rank