Fernando Torielli

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Formal Verification of a Railway Interlocking System using Model Checking. Formal Aspects Comput. 10 (4) (1998)
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP (1998)
A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP (1995)