Predicate Pairing for program verification (Q4644353): Difference between revisions

@@ Property / arXiv ID @@
+.01473
@@ Property / arXiv ID: 1708.01473 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Regression Verification for Multi-threaded Programs
+Normal rank
@@ Property / cites work @@
+Proving correctness of imperative programs by linearizing constrained Horn clauses
+Normal rank
@@ Property / cites work @@
+A Rule-based Verification Strategy for Array Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Relational verification through Horn clause transformation
+Normal rank
@@ Property / cites work @@
+Conjunctive partial deduction: foundations, control, algorithms, and experiments
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of logic programs using magic transformations
+Normal rank
@@ Property / cites work @@
+Transformations of CLP modules
@@ Property / cites work: Transformations of CLP modules / rank @@
+Normal rank
@@ Property / cites work @@
+Property Directed Equivalence via Abstract Simulation
+Normal rank
@@ Property / cites work @@
+Underapproximation of Procedure Summaries for Integer Programs
+Normal rank
@@ Property / cites work @@
+Inference rules for proving the equivalence of recursive procedures
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391452
@@ Property / cites work: Q4391452 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
+Normal rank
@@ Property / cites work @@
+Logic program specialisation through partial  deduction: Control issues
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+Normal rank
@@ Property / cites work @@
+Regression verification for unbalanced recursive functions
+Normal rank
@@ Property / cites work @@
+Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
+Normal rank