Diversity-Driven Automated Formal Verification.

Emily First Yuriy Brun

Published in: ICSE (2022)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
data driven
symbolic model checking
semi automated
fully automated
automated analysis
program slicing
data sets
search space