C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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