Refine my results
Document type
Language
- English (5)
Author
- Sharygina, Natasha (5)
- Tsitovich, Aliaksei (3)
- Alberti, Francesco (2)
- Bruttomesso, Roberto (2)
- Ghilardi, Silvio (2)
- Tonetta, Stefano (2)
- Kroening, Daniel (1)
- Ranise, Silvio (1)
- Rollini, Simone (1)
- Wintersteiger, Christoph (1)
Keyword
- SMT (2)
- Approximated abstraction (1)
- Array programs (1)
- Arrays (1)
- CEGAR (1)
- Craig interpolation (1)
- Decision procedures (1)
- Formal verification (1)
- Lazy abstraction (1)
- Loop invariants (1)
- Loop summarization (1)
- Model checking (1)
- Precise abstraction (1)
- Predicate abstraction (1)
- Program abstraction (1)
- Proof compression (1)
- Quantifiers (1)
- Resolution system (1)
- Termination (1)
- Transition invariants (1) More Less