Backward symbolic execution with loop folding (Q2145317): Difference between revisions

@@ Property / cites work @@
+Demand-Driven Compositional Symbolic Execution
@@ Property / cites work: Demand-Driven Compositional Symbolic Execution / rank @@
+Normal rank
@@ Property / cites work @@
+Software Verification with PDR: An Implementation of the State of the Art
+Normal rank
@@ Property / cites work @@
+Automatic generation of invariants and intermediate assertions
+Normal rank
@@ Property / cites work @@
+Property-directed incremental invariant generation
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+Automatic analysis of DMA races using model checking and \(k\)-induction
+Normal rank
@@ Property / cites work @@
+Predicate abstraction for software verification
@@ Property / cites work: Predicate abstraction for software verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Modular Loop Acceleration
@@ Property / cites work: A Calculus for Modular Loop Acceleration / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional may-must program analysis
@@ Property / cites work: Compositional may-must program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Guided Static Analysis
@@ Property / cites work: Guided Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Program analysis via satisfiability modulo path programs
+Normal rank
@@ Property / cites work @@
+Characterizations of Reducible Flow Graphs
@@ Property / cites work: Characterizations of Reducible Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerating Interpolants
@@ Property / cites work: Accelerating Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract acceleration of general linear loops
@@ Property / cites work: Abstract acceleration of general linear loops / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Abstraction for Program Verification
@@ Property / cites work: Predicate Abstraction for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolating strong induction
@@ Property / cites work: Interpolating strong induction / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient weakest preconditions
@@ Property / cites work: Efficient weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis in Disjunctive Numerical Domains
@@ Property / cites work: Static Analysis in Disjunctive Numerical Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Compact Symbolic Execution
@@ Property / cites work: Compact Symbolic Execution / rank @@
+Normal rank