Combining Model Checking and Data-Flow Analysis (Q3176374): Difference between revisions

@@ Property / describes a project that uses @@
+MU-CSeq
@@ Property / describes a project that uses: MU-CSeq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FrankenBit
@@ Property / describes a project that uses: FrankenBit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jakstab
@@ Property / describes a project that uses: Jakstab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Symbiotic 2
@@ Property / describes a project that uses: Symbiotic 2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oz
@@ Property / describes a project that uses: Oz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Orion
@@ Property / describes a project that uses: Orion / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ultimate Kojak
@@ Property / describes a project that uses: Ultimate Kojak / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPAchecker
@@ Property / describes a project that uses: CPAchecker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Threader
@@ Property / describes a project that uses: Threader / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-10575-8_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2804407995
@@ Property / OpenAlex ID: W2804407995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769592
@@ Property / cites work: Q2769592 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Synthesis for Combined Theories
@@ Property / cites work: Invariant Synthesis for Combined Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
+Normal rank
@@ Property / cites work @@
+Information Reuse for Multi-goal Reachability Analyses
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+Continuity analysis of programs
@@ Property / cites work: Continuity analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
+Normal rank
@@ Property / cites work @@
+Program verification as probabilistic inference
@@ Property / cites work: Program verification as probabilistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+A combination framework for tracking partition sizes
+Normal rank
@@ Property / cites work @@
+Lifting abstract interpreters to quantified logical domains
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-Based Invariant Inference over Predicate Abstraction
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Assertion Checking Unified
@@ Property / cites work: Assertion Checking Unified / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Linear Ranking for Linear Lasso Programs
@@ Property / cites work: Linear Ranking for Linear Lasso Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804923
@@ Property / cites work: Q4804923 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
+Normal rank
@@ Property / cites work @@
+Global Data Flow Analysis and Iterative Algorithms
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122730
@@ Property / cites work: Q4122730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738372
@@ Property / cites work: Q4738372 / rank @@
+Normal rank
@@ Property / cites work @@
+Global optimization by suppression of partial redundancies
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Q3340118
@@ Property / cites work: Q3340118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769593
@@ Property / cites work: Q2769593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+From program verification to program synthesis
@@ Property / cites work: From program verification to program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Generating data flow analysis algorithms from modal specifications
+Normal rank
@@ Property / cites work @@
+Property-oriented expansion
@@ Property / cites work: Property-oriented expansion / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Domain to Infer Ordinal-Valued Ranking Functions
+Normal rank
@@ Property / cites work @@
+Intertwined Forward-Backward Reachability Analysis Using Interpolants
+Normal rank