Pages that link to "Item:Q3593074"
From MaRDI portal
The following pages link to Grammar Analysis and Parsing by Abstract Interpretation (Q3593074):
Displaying 27 items.
- Refinement-Based CFG Reconstruction from Unstructured Programs (Q3075470) (← links)
- Distributed and Predictable Software Model Checking (Q3075493) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Merge-and-Shrink Abstraction (Q3189651) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification (Q3498430) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- (Q4499269) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- (Q5028421) (← links)
- (Q5028488) (← links)
- Property-oriented expansion (Q5030184) (← links)
- Abstract cofibered domains: Application to the alias analysis of untyped programs (Q5030205) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Loop invariants (Q5176169) (← links)
- Differential Game Logic (Q5277902) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615) (← links)
- Formal Reduction for Rule-based Models (Q5739349) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)
