Andrea Zasa

According to our database, Andrea Zasa authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa

Proceedings of the Formal Methods for Industrial Critical Systems, 2024