Trenti, Dylan
Trenti, Dylan
FM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Automated Parameterized Verification of a Railway Protection System with Dafny
2025-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Scaglione, Giuseppe; Tessi, Matteo; Trenti, Dylan
Formal Analysis of a Railway Signaling Block Designed in AIDA
2025-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Tessi, Matteo; Trenti, Dylan
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated Parameterized Verification of a Railway Protection System with Dafny | 1-gen-2025 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Scaglione, Giuseppe; Tessi, Matteo; Trenti, Dylan | |
| Formal Analysis of a Railway Signaling Block Designed in AIDA | 1-gen-2025 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Tessi, Matteo; Trenti, Dylan |