Name: wg-verification
Owner: rust-lang-nursery
Description: Verification working group
Created: 2018-03-29 12:21:15.0
Updated: 2018-05-23 10:27:51.0
Pushed: 2018-04-09 13:06:34.0
Homepage: null
Size: 340
Language: null
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
This working group is intended to provide a forum for all things formal methods and verification for Rust. We anticipate significant overlap in requirements for tools and want to provide a central repository to exchange ideas and share progress.
For an overview of our current status, visit our (WIP) page.
Most of the benefits of performing verification on Rust programs are directly derived from the guarantees of safe Rust. Unsafe code is significantly more complex, but it may be possible to define contracts that must be upheld at the unsafe boundary. For more information on the differences between safe and unsafe Rust, see the Rustonomicon.
Join our mailing list, get in touch with us or open a pull request to let us know about your Rust verification project.
We follow the Rust Code of Contact. Any concerns should be brought to rust-mods@rust-lang.org
The output of the verification working group is distributed under the following licenses: