Login / Signup
Edoardo Nicolodi
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Computer Aided
Functional Verification
Design Space
Top Venues
IMBSA
</>
Publications
</>
Alberto Bombardelli
,
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Alberto Griggio
,
Massimo Nazaria
,
Edoardo Nicolodi
,
Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality.
IMBSA
(2022)