https://github.com/yannbolliger/rust-stainless-thesis-report

MSc project on «Formal Verification of Rust with Stainless».
https://github.com/yannbolliger/rust-stainless-thesis-report

compilers formal-methods formal-verification rust scala stainless

Last synced: 28 days ago
JSON representation

MSc project on «Formal Verification of Rust with Stainless».

• Host: GitHub
• URL: https://github.com/yannbolliger/rust-stainless-thesis-report
• Owner: yannbolliger
• Created: 2021-01-19T11:53:10.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2021-08-18T18:01:31.000Z (over 3 years ago)
• Last Synced: 2024-11-08T19:51:35.244Z (3 months ago)
• Topics: compilers, formal-methods, formal-verification, rust, scala, stainless
• Language: TeX
• Homepage:
• Size: 3.9 MB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Master of Science thesis on [`rust-stainless`](https://github.com/epfl-lara/rust-stainless)

_By [@yannbolliger](https://github.com/yannbolliger), LARA, EPFL, 2021._

This repository contains the MSc thesis report on the

[`rust-stainless`](https://github.com/epfl-lara/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)](thesis-report/thesis-report.pdf)

- [Presentation Slides (PDF)](thesis-presentation/presentation.pdf)

- [Presentation recording](https://youtu.be/rXZgaMIX3-4)

## Semester project report

- Title: "Formal Verification of Rust with Stainless: Type Classes".

- Core topic: Rust traits to Scala type classes translation.