Loop Summarization and Termination Analysis (Q3000639): Difference between revisions

@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Function Synthesis for Bit-Vector Relations
+Normal rank
@@ Property / cites work @@
+Loop Summarization Using Abstract Transformers
@@ Property / cites work: Loop Summarization Using Abstract Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Abstractions
@@ Property / cites work: Ranking Abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Variance analyses from invariance analyses
@@ Property / cites work: Variance analyses from invariance analyses / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Size-Change Termination and Transition Invariants
@@ Property / cites work: Size-Change Termination and Transition Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Functions for Size-Change Termination II
@@ Property / cites work: Ranking Functions for Size-Change Termination II / rank @@
+Normal rank
@@ Property / cites work @@
+Summarization for termination: No return!
@@ Property / cites work: Summarization for termination: No return! / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank