RustHorn: CHC-based Verification for Rust Programs.

Yusuke Matsushita Takeshi Tsukada Naoki Kobayashi

Published in: ACM Trans. Program. Lang. Syst. (2021)

Keyphrases

symbolic execution
hardware designs
model checking
automatic programming
prolog programs
neural network
data mining
information retrieval
genetic algorithm
search engine
distributed systems
face verification
formal analysis
formal verification
java bytecode