Login / Signup
Roberto Cavada
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 8
Top Topics
Formal Verification
Nuclear Power Plant
Model Checking
Temporal Properties
Top Venues
CoRR
TACAS
ISoLA (3)
CAV
</>
Publications
</>