Login / Signup
C for Yourself: Comparison of Front-End Techniques for Formal Verification.
Levente Bajczi
Zsófia Ádám
Vince Molnár
Published in:
FormaliSE@ICSE (2022)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
symbolic model checking
back end
database
test set
functional verification