Login / Signup
Giordano Scarso
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Formal Specification
Static Analysis
Model Checking
Temporal Logic
Top Venues
SPLC (A)
SPLC (B)
</>
Publications
</>
Maurice H. ter Beek
,
Ferruccio Damiani
,
Michael Lienhardt
,
Franco Mazzanti
,
Luca Paolini
,
Giordano Scarso
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.
Sci. Comput. Program.
224 (2022)
Maurice H. ter Beek
,
Franco Mazzanti
,
Ferruccio Damiani
,
Luca Paolini
,
Giordano Scarso
,
Michael Lienhardt
Static analysis and family-based model checking with VMC.
SPLC (A)
(2021)
Maurice H. ter Beek
,
Franco Mazzanti
,
Ferruccio Damiani
,
Luca Paolini
,
Giordano Scarso
,
Michele Valfrè
,
Michael Lienhardt
Static analysis and family-based model checking of featured transition systems with VMC.
SPLC (B)
(2021)