Trenti, Dylan
Trenti, Dylan
FM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 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
Verification of Configurable SRA Systems
2026-01-01 Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; 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 | |
| Verification of Configurable SRA Systems | 1-gen-2026 | Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Trenti, Dylan |