viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Home Page:http://prusti.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

viperproject/prusti-dev Stargazers