MAPi Doctoral Programme Thesis Proposal
2
0
0
Texto
Documentos relacionados
• we define and implement a sound embedding of Jasmin programs into Dafny [27], and use the embedding to support automated proofs of memory safety, constant-time security, and