Perfeziona i miei risultati
Document type
Institution
Lingua
- Inglese (3)
Autore
- Bruttomesso, Roberto (3)
- Sharygina, Natasha (2)
- Alberti, Francesco (1)
- Cimatti, Alessandro (1)
- Franzen, Anders (1)
- Ghilardi, Silvio (1)
- Griggio, Alberto (1)
- Ranise, Silvio (1)
- Rollini, Simone (1)
- Sebastiani, Roberto (1)
- Tsitovich, Aliaksei (1) Di più Meno
Parola chiave
- Array programs (1)
- Craig interpolation (1)
- Delayed theory combination (1)
- Formal verification (1)
- Lazy abstraction (1)
- Model checking (1)
- Nelson-Oppen (1)
- Proof compression (1)
- Resolution system (1)
- SMT (1)
- Satisfiability modulo theories (1) Di più Meno