Q5089296 (Q5089296): Difference between revisions

@@ Property / cites work @@
+Q4536712
@@ Property / cites work: Q4536712 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+A Scalable Segmented Decision Tree Abstract Domain
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+Q5232900
@@ Property / cites work: Q5232900 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring inductive invariants from phase structures
+Normal rank
@@ Property / cites work @@
+Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217930
@@ Property / cites work: Q4217930 / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Invariants for Affine Programs
@@ Property / cites work: Polynomial Invariants for Affine Programs / 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 @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Inductive methods for proving properties of programs
+Normal rank
@@ Property / cites work @@
+On the decidability of the existence of polyhedral invariants in transition systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of inferring inductive invariants
@@ Property / cites work: Decidability of inferring inductive invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank