Fernando Torielli

According to our database, Fernando Torielli authored at least 3 papers between 1995 and 1998.

Collaborative distances:

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

1998

Formal Verification of a Railway Interlocking System using Model Checking.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Formal Aspects Comput., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Proceedings of the Computer Safety, 1998

1995

An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.

A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli

Proceedings of the 14th International Conference on Computer Safety, 1995