Prusti: deductive verification for Rust (keynote).
Alexander J. SummersPublished in: FTfJP@ECOOP (2020)
Keyphrases
- key issues
- model checking
- neural network
- abductive inference
- hypothesis formation
- formal verification
- image sequences
- computer vision
- video sequences
- expert systems
- information technology
- evolutionary algorithm
- object oriented
- programming language
- knowledge discovery and data mining
- face verification
- data mining
- person identification
- asynchronous circuits
- database languages
- real world
- data sets