Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783): Difference between revisions

@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mind the Shapes: Abstraction Refinement Via Topology Invariants
+Normal rank
@@ Property / cites work @@
+Static Analysis of Dynamic Communication Systems by Partner Abstraction
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Live and let die: LSC based verification of UML models
+Normal rank
@@ Property / cites work @@
+An approach to automating the verification of compact parallel coordination programs. I
+Normal rank
@@ Property / cites work @@
+A methodology for hardware verification using compositional model checking
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852078
@@ Property / cites work: Q2852078 / rank @@
+Normal rank
@@ Property / cites work @@
+The Spotlight Principle
@@ Property / cites work: The Spotlight Principle / rank @@
+Normal rank