Giordano Scarso

According to our database, Giordano Scarso authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso

Sci. Comput. Program., 2022

2021

Static analysis and family-based model checking of featured transition systems with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021