Fabio Merli

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Description Language

Reactive Systems

Top Venues

Publications

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
System Level Formal Verification via Model Checking Driven Simulation. CAV (2013)