Login / Signup
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
Franz Brauße
Fedor Shmarov
Rafael Menezes
Mikhail R. Gadelha
Konstantin Korovin
Giles Reger
Lucas C. Cordeiro
Published in:
ISSTA (2022)
Keyphrases
</>
symbolic execution
hardware designs
model checking
face verification
formal verification
concurrent systems
control structures
automatic programming
computer programs
formal methods
data sets
person identification
operating system
verification method
multiscale
database systems
java bytecode
knowledge base