CREST: Hardware Formal Verification with ANSI-C Reference Specifications.

Andreas Tiemeyer Tom Melham Daniel Kroening John O'Leary

Published in: CoRR (2019)

Keyphrases

formal verification
bounded model checking
model checking
automated verification
model checker
low cost
real time
symbolic model checking
hardware and software
program slicing
formal specification
temporal logic
vlsi implementation
computing systems
transition systems
hardware implementation
computer systems