A Forward-Backward Abstraction Refinement Algorithm (Q5452721): Difference between revisions

@@ Property / author @@
-Francesco Ranzato
@@ Property / author: Francesco Ranzato / rank @@
-Normal rank
@@ Property / author @@
+Francesco Ranzato
@@ Property / author: Francesco Ranzato / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78163-9_22
+Normal rank
@@ Property / OpenAlex ID @@
+W1856060541
@@ Property / OpenAlex ID: W1856060541 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Fixpoint-Guided Abstraction Refinements
@@ Property / cites work: Fixpoint-Guided Abstraction Refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Counterexample-Based Refinement for Powerset Domains
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank