Pages that link to "Item:Q5277793"
From MaRDI portal
The following pages link to Predicate abstraction with indexed predicates (Q5277793):
Displaying 9 items.
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Pre-indexed Terms for Prolog (Q2949716) (← links)
- Abstract Counterexamples for Non-disjunctive Abstractions (Q3646262) (← links)
- Computer Aided Verification (Q5312894) (← links)
- MCMT: A Model Checker Modulo Theories (Q5747748) (← links)
- Computer Aided Verification (Q5900675) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901914) (← links)
- Invariant checking for SMT-based systems with quantifiers (Q6636621) (← links)