This proposal and presentation was done in the context of the Rust Verification Workshop 2021. You can follow the workshop at https://sites.google.com/view/rustverify2021.
The proposal was not accepted and thus work in the presentation may be needed as it is only a draft.
The work presented in this repository regards typestates and their usage in Rust. The DSL proposed is outdated.
You can follow this work in https://github.com/rustype/typestate-rs