Dylan Trenti
Roberto Cavada
Alessandro Cimatti
Alberto Griggio
Christian Lidström
Gianluca Redondi
Giuseppe Scaglione
Matteo Tessi
Dylan Trenti
Automated Parameterized Verification of a Railway Protection System with Dafny.
364-376
2025
CAV (4)
https://doi.org/10.1007/978-3-031-98685-7_17
conf/cav/2025-4
db/conf/cav/cav2025-4.html#CavadaCGLRSTT25
streams/conf/cav
Roberto Cavada
Alessandro Cimatti
Alberto Griggio
Christian Lidström
Gianluca Redondi
Matteo Tessi
Dylan Trenti
Formal Analysis of a Railway Signaling Block Designed in AIDA.
303-312
2025
RSSRail
https://doi.org/10.1007/978-3-032-10762-6_23
conf/rssrail/2025
db/conf/rssrail/rssrail2025.html#CavadaCGLRTT25
streams/conf/rssrail
Roberto Cavada
Alessandro Cimatti
Alberto Griggio
Christian Lidström
Gianluca Redondi
Giuseppe Scaglione
Matteo Tessi