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