Marco Zamboni

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Symbolic Model Checking

Safety Analysis

Complex Systems

Top Venues

Publications

Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
Symbolic Model Checking of Relative Safety LTL Properties. iFM (2023)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) (2022)