Sfoglia per Correlatore CHIARI, MICHELE
Mostrati risultati da 1 a 6 di 6
Counterexample extraction in a context-free model checker
2021/2022 SCHERINI, GIUSEPPE
Formal verification of infrastructure as code
2020/2021 De PASCALIS, MICHELE
Microarchitecture-aware mixed precision tuning
2019/2020 Fossati, Nicola
POMC. A model checking tool for operator precedence languages on omega-words
2019/2020 PONTIGGIA, FRANCESCO
POMC. Toward a model checking tool for operator precedence languages
2019/2020 Bergamaschi, Davide
Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories
2021/2022 Franchini, Andrea
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2023-05-04 | Tesi di laurea Magistrale | Counterexample extraction in a context-free model checker | SCHERINI, GIUSEPPE | |
| 2022-04-28 | Tesi di laurea Magistrale | Formal verification of infrastructure as code | De PASCALIS, MICHELE | |
| 2020-10-02 | Tesi di laurea Magistrale | Microarchitecture-aware mixed precision tuning | Fossati, Nicola | |
| 2021-06-09 | Tesi di laurea Magistrale | POMC. A model checking tool for operator precedence languages on omega-words | PONTIGGIA, FRANCESCO | |
| 2020-07-24 | Tesi di laurea Magistrale | POMC. Toward a model checking tool for operator precedence languages | Bergamaschi, Davide | |
| 2023-05-04 | Tesi di laurea Magistrale | Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories | Franchini, Andrea |
Mostrati risultati da 1 a 6 di 6
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili