RustHorn: CHC-based Verification for Rust Programs (full version).

Yusuke Matsushita Takeshi Tsukada Naoki Kobayashi

Published in: CoRR (2020)

Keyphrases

model checking
symbolic execution
hardware designs
signature verification
fingerprint verification
computer vision
answer sets
computer programs
face verification
test generation
control structures