RustHorn: CHC-Based Verification for Rust Programs.

Yusuke Matsushita Takeshi Tsukada Naoki Kobayashi

Published in: ESOP (2020)

Keyphrases

symbolic execution
hardware designs
computer programs
model checking
information technology
artificial neural networks
hidden markov models
expert systems
machine learning
programming environment
stable models
formal verification
test generation
prolog programs
multi agent systems
java bytecode
computer vision