Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349): Difference between revisions

@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract interpretation framework for termination
+Normal rank
@@ Property / cites work @@
+An Abstract Domain to Infer Ordinal-Valued Ranking Functions
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / 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 @@
+Conflict-driven conditional termination
@@ Property / cites work: Conflict-driven conditional termination / rank @@
+Normal rank
@@ Property / cites work @@
+Transition predicate abstraction and fair termination
+Normal rank
@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Verification of concurrent programs: The automata-theoretic framework
+Normal rank
@@ Property / cites work @@
+Proving that programs eventually do something good
+Normal rank
@@ Property / cites work @@
+Variance analyses from invariance analyses
@@ Property / cites work: Variance analyses from invariance analyses / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
+Normal rank
@@ Property / cites work @@
+Proving Conditional Termination
@@ Property / cites work: Proving Conditional Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Policy Iteration-Based Conditional Termination and Ranking Functions
+Normal rank