Aeneas: Rust verification by functional translation.

Son Ho Jonathan Protzenko

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

functional verification
machine translation
model checking
statistical machine translation
neural network
data mining
search engine
social networks
bayesian networks
co occurrence
cross language information retrieval
face verification
formal analysis
asynchronous circuits
functional properties