Creusot: A Foundry for the Deductive Verification of Rust Programs.
Xavier DenisJacques-Henri JourdanClaude MarchéPublished in: ICFEM (2022)
Keyphrases
- functional programs
- symbolic execution
- database languages
- model checking
- hardware designs
- object oriented
- computer programs
- formal verification
- genetic algorithm
- computer vision
- java bytecode
- automatic programming
- control structures
- fixpoint
- functional language
- control program
- person identification
- databases
- programming environment
- formal analysis
- formal methods
- logic programs
- neural network