Pages that link to "Item:Q3176373"
From MaRDI portal
The following pages link to Predicate Abstraction for Program Verification (Q3176373):
Displaying 22 items.
- Model-checking structured context-free languages (Q832277) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking (Q2233530) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- Necessary and Sufficient Preconditions via Eager Abstraction (Q2789048) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- Combining Predicate Abstraction with Fixpoint Approximations (Q4571129) (← links)
- (Q5101344) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308422) (← links)
- Structural Abstraction of Software Verification Conditions (Q5429330) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703774) (← links)
- Reasoning about TSO programs using reduction and abstraction (Q6039412) (← links)
- Counterexample classification (Q6045060) (← links)
- Verifiable certificates for predicate subtyping (Q6070793) (← links)
- Software Verification of Hyperproperties Beyond k-Safety (Q6487322) (← links)
- Abstract interpretation of recursive logic definitions for efficient runtime assertion checking (Q6535334) (← links)
