Dylan Trenti

According to our database, Dylan Trenti authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formal Analysis of a Railway Signaling Block Designed in AIDA.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2025

Automated Parameterized Verification of a Railway Protection System with Dafny.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti

Proceedings of the Computer Aided Verification - 37th International Conference, 2025