Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-016-0257-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2522207775
@@ Property / OpenAlex ID: W2522207775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472235
@@ Property / cites work: Q4472235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769592
@@ Property / cites work: Q2769592 / rank @@
+Normal rank
@@ Property / cites work @@
+Property Directed Polyhedral Abstraction
@@ Property / cites work: Property Directed Polyhedral Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-state invariant checking with IC3 and predicate abstraction
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient generation of craig interpolants in satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Property Directed Reachability
@@ Property / cites work: Generalized Property Directed Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Property-directed inference of universal invariants or proving their absence
+Normal rank
@@ Property / cites work @@
+SMT-Based Induction Methods for Timed Systems
@@ Property / cites work: SMT-Based Induction Methods for Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank