Transformation-Enabled Precondition Inference (Q6063861): Difference between revisions

@@ Property / cites work @@
+Combining Forward and Backward Abstract Interpretation of Horn Clauses
+Normal rank
@@ Property / cites work @@
+Refinement of trace abstraction for real-time programs
+Normal rank
@@ Property / cites work @@
+Q4414727
@@ Property / cites work: Q4414727 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
+Normal rank
@@ Property / cites work @@
+Automatically Refining Abstract Interpretations
@@ Property / cites work: Automatically Refining Abstract Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+TRACER: A Symbolic Execution Tool for Verification
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
+Normal rank
@@ Property / cites work @@
+An iterative approach to precondition inference using constrained Horn clauses
+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 @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
+Normal rank
@@ Property / cites work @@
+Sufficient Preconditions for Modular Assertion Checking
+Normal rank
@@ Property / cites work @@
+Dual analysis for proving safety and finding bugs
@@ Property / cites work: Dual analysis for proving safety and finding bugs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract multiple specialization and its application to program parallelization
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Necessary and Sufficient Preconditions via Eager Abstraction
+Normal rank