Login / Signup
Michele Valfrè
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Static Analysis
Formal Specification
Model Checking
Transition Systems
Top Venues
SPLC (B)
</>
Publications
</>
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)