Lattice-based refinement in bounded model checking (Q1629959): Difference between revisions

@@ Property / cites work @@
+Q3741626
@@ Property / cites work: Q3741626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
+Normal rank
@@ Property / cites work @@
+Satisfiability modulo transcendental functions via incremental linearization
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4536712
@@ Property / cites work: Q4536712 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolant Strength
@@ Property / cites work: Interpolant Strength / rank @@
+Normal rank
@@ Property / cites work @@
+SMTCoq: a plug-in for integrating SMT solvers into Coq
+Normal rank
@@ Property / cites work @@
+Q4779119
@@ Property / cites work: Q4779119 / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Theory refinement for program verification
@@ Property / cites work: Theory refinement for program verification / rank @@
+Normal rank
@@ Property / cites work @@
+OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
+Normal rank
@@ Property / cites work @@
+PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
+Normal rank