Loop summarization using state and transition invariants (Q2248058): Difference between revisions

@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Houdini
@@ Property / describes a project that uses: Houdini / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPEED
@@ Property / describes a project that uses: SPEED / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CSSV
@@ Property / describes a project that uses: CSSV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TVLA
@@ Property / describes a project that uses: TVLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SatAbs
@@ Property / describes a project that uses: SatAbs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ARMC
@@ Property / describes a project that uses: ARMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2129766426
@@ Property / OpenAlex ID: W2129766426 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4553257
@@ Property / cites work: Q4553257 / 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 @@
+Variance analyses from invariance analyses
@@ Property / cites work: Variance analyses from invariance analyses / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Abstractions
@@ Property / cites work: Ranking Abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Predicate abstraction of ANSI-C programs using SAT
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Conditional Termination
@@ Property / cites work: Proving Conditional Termination / 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 @@
+Ranking Function Synthesis for Bit-Vector Relations
+Normal rank
@@ Property / cites work @@
+Numeric Bounds Analysis with Conflict-Driven Learning
+Normal rank
@@ Property / cites work @@
+Q2763999
@@ Property / cites work: Q2763999 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Refining abstract interpretations
@@ Property / cites work: Refining abstract interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+A combination framework for tracking partition sizes
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / 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 @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+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 @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Counterexample-Based Refinement for Powerset Domains
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Fast Algorithms for Solving Path Problems
@@ Property / cites work: Fast Algorithms for Solving Path Problems / rank @@
+Normal rank