Verification of C++ Programs with VeriFast.

Niels Mommen Bart Jacobs

Published in: CoRR (2022)

Keyphrases

symbolic execution
hardware designs
artificial intelligence
model checking
verification method
genetic algorithm
temporal logic
programming environment
false acceptance rate
evolutionary algorithm
data model
formal methods
asynchronous circuits
provably correct
concurrent systems