Perfeziona i miei risultati
Document type
Institution
Lingua
- Inglese (3)
Autore
- Sharygina, Natasha (3)
- Tsitovich, Aliaksei (3)
- Tonetta, Stefano (2)
- Bruttomesso, Roberto (1)
- Kroening, Daniel (1)
- Rollini, Simone (1)
- Wintersteiger, Christoph (1)
Parola chiave
- Approximated abstraction (1)
- CEGAR (1)
- Craig interpolation (1)
- Formal verification (1)
- Loop invariants (1)
- Loop summarization (1)
- Precise abstraction (1)
- Predicate abstraction (1)
- Program abstraction (1)
- Proof compression (1)
- Resolution system (1)
- Termination (1)
- Transition invariants (1) Di più Meno