Repository navigation

rust-unsafe-tutorial

Public

About

Verifying purely `unsafe` Rust programs with VeriFast: a tutorial

verifast.github.io/rust-unsafe-tutorial/tutorial.pdf

Custom properties

2 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.gitignore		.gitignore
README.md		README.md
branch-left.pdf		branch-left.pdf
branch-left.svg		branch-left.svg
illegal_access.png		illegal_access.png
illegal_access2.png		illegal_access2.png
illegal_access3.png		illegal_access3.png
listings-rust.sty		listings-rust.sty
luximono.sty		luximono.sty
step.pdf		step.pdf
step.svg		step.svg
tutorial.tex		tutorial.tex

Repository files navigation

Verifying purely `unsafe` Rust programs with VeriFast: a tutorial

A tutorial for the VeriFast Program Verifier.

About

Verifying purely `unsafe` Rust programs with VeriFast: a tutorial

verifast.github.io/rust-unsafe-tutorial/tutorial.pdf

Custom properties

2 stars

0 watching

Report repository

Releases

Contributors

Languages