Sfoglia per Autore
Property specification patterns at work: verification and inconsistency explanation
2019-01-01 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Automata based test generation with SpecPro
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Poster: Automatic Consistency Checking of Requirements with ReqV
2019-01-01 Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Chapter 30. Reasoning with Quantified Boolean Formulas
2021-01-01 Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
Verification Of Data-Intensive Embedded Systems
2023-01-01 Narizzano, Massimo; Tacchella, Armando
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Property specification patterns at work: verification and inconsistency explanation | 1-gen-2019 | Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S. | |
Automata based test generation with SpecPro | 1-gen-2019 | Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A. | |
Poster: Automatic Consistency Checking of Requirements with ReqV | 1-gen-2019 | Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando | |
Chapter 30. Reasoning with Quantified Boolean Formulas | 1-gen-2021 | Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo | |
Verification Of Data-Intensive Embedded Systems | 1-gen-2023 | Narizzano, Massimo; Tacchella, Armando |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile