Incorectness Separation Logic for Rust
Master Project of Arjan Seijs

Project Description

This projects aims to extend incorectness separation logic for proving the existence of bugs in unsafe Rust code.

Contacts for the Project

• Andreea Costea