The following pages link to Computer Aided Verification (Q5716593):
Displaying 10 items.
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Loop Summarization Using Abstract Transformers (Q3540068) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- A Term Rewriting Technique for Decision Graphs (Q5170280) (← links)
- Predicate abstraction with indexed predicates (Q5277793) (← links)
- Predicate Abstraction with Under-approximation Refinement (Q5310681) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL (Q5423882) (← links)
- Computer Aided Verification (Q5900675) (← links)
- Invariant checking for SMT-based systems with quantifiers (Q6636621) (← links)