Login / Signup
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code.
Yusuke Matsushita
Xavier Denis
Jacques-Henri Jourdan
Derek Dreyer
Published in:
PLDI (2022)
Keyphrases
</>
functional verification
computer programs
source code
semantic web
java programs
program code
real time
error handling
high level
signal processing
hardware and software
programming environment
formal verification