Modular Formal Verification of Rust Programs with Unsafe Blocks.

Nima Rahimi Foroushaani Bart Jacobs

Published in: CoRR (2022)

Keyphrases

formal verification
program slicing
model checking
model checker
bounded model checking
automated verification
symbolic model checking
computer programs
block size
fractal image coding
temporal logic
domain specific
source code
orders of magnitude
variable size