Login / Signup
BFF: foundational and automated verification of bitfield-manipulating programs.
Fengmin Zhu
Michael Sammler
Rodolphe Lepigre
Derek Dreyer
Deepak Garg
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
temporal logic
graph theory
real time
programming environment
control structures
databases
genetic algorithm
decision trees
logic programming
operating system