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

@@ 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