Login / Signup
PRoofster: Automated Formal Verification.
Arpan Agrawal
Emily First
Zhanna Kaufman
Tom Reichel
Shizhuo Zhang
Timothy Zhou
Alex Sanchez-Stern
Talia Ringer
Yuriy Brun
Published in:
ICSE Companion (2023)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
semi automated
symbolic model checking
coloured petri nets
program slicing
computer aided
functional verification
fully automated
automated analysis
knowledge based systems
temporal logic