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.