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

@@ Property / describes a project that uses @@
+ISP
@@ Property / describes a project that uses: ISP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMGRID
@@ Property / describes a project that uses: SIMGRID / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zing
@@ Property / describes a project that uses: Zing / 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 @@
+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
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Termination Analysis of C Programs Using Compiler Intermediate Languages
+Normal rank
@@ Property / cites work @@
+MPI-CHECK: a tool for checking Fortran 90 MPI programs
+Normal rank
@@ Property / cites work @@
+Model Checking Nonblocking MPI Programs
@@ Property / cites work: Model Checking Nonblocking MPI Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank