Login / Signup
Arvin Zakeriyan
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 2
Top Topics
Formal Specification
Reachability Analysis
Alternating Time Temporal Logic
Test Case Generation
Top Venues
AGERE!@SPLASH
FSEN
</>
Publications
</>