Refine my results
Institution
Specific Collection
Language
- English (1)
Author
- Fedyukovich, Grigory (1)
- Sharygina, Natasha (Dir.) (1)
Keyword
- Abstraction (1)
- Bounded model checking (1)
- Craig interpolation (1)
- Formal verification (1)
- Horn clauses (1)
- Incremental analysis (1)
- Inductive synthesis (1)
- Invariant inference (1)
- Model checking (1)
- Quantifier elimination (1)
- SAT solving (1)
- SMT solving (1)
- Simulation relation (1)
- Skolemization (1)
- Software analysis (1)
- Symbolic reasoning (1)
- Unbounded model checking (1) More Less