Aeneas: Rust Verification by Functional Translation.
Son HoJonathan ProtzenkoPublished in: CoRR (2022)
Keyphrases
- functional verification
- machine translation
- model checking
- formal verification
- high security
- website
- cross language information retrieval
- query translation
- functional properties
- artificial intelligence
- social networks
- formal analysis
- translation model
- person identification
- asynchronous circuits
- verification method