Master of Science thesis on rust-stainless

By @yannbolliger, LARA, EPFL, 2021.

This repository contains the MSc thesis report on the rust-stainless project as well as the preceding semester project report.

MSc thesis report & presentation

• Title: "Formal Verification of Rust with Stainless".
• Core topics: mutability translation.
• Thesis (PDF)
• Presentation Slides (PDF)
• Presentation recording

Semester project report

• Title: "Formal Verification of Rust with Stainless: Type Classes".
• Core topic: Rust traits to Scala type classes translation.