Andrea Bonacchi

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Alternating Time Temporal Logic

Formal Verification

Top Venues

Sci. Comput. Program.

Publications

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini
Validation process for railway interlocking systems. Sci. Comput. Program. 128 (2016)
Andrea Bonacchi, Alessandro Fantechi
On the Validation of an Interlocking System by Model-Checking. FMICS (2014)
Andrea Bonacchi, Alessandro Fantechi
Validation of Interlocking Systems by Testing their Models. QUATIC (2014)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. SEFM Workshops (2013)
Andrea Bonacchi
Formal safety proof: a real case study in a railway interlocking system. ISSTA (2013)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
A GUI Testability Problem: A Case Study in the Railway Signaling Domain. QUATIC (2012)