Marco Zamboni

According to our database, Marco Zamboni authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

Symbolic Model Checking of Relative Safety LTL Properties.

Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022