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

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-75596-8_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1499500029
@@ Property / OpenAlex ID: W1499500029 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3510783