Login / Signup
Arpan Agrawal
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Semi Automated
Model Checker
Coloured Petri Nets
Formal Verification
Top Venues
ICSE Companion
</>
Publications
</>
Arpan Agrawal
,
Emily First
,
Zhanna Kaufman
,
Tom Reichel
,
Shizhuo Zhang
,
Timothy Zhou
,
Alex Sanchez-Stern
,
Talia Ringer
,
Yuriy Brun
PRoofster: Automated Formal Verification.
ICSE Companion
(2023)