project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
RustApache-2.0
Stargazers
- achou11@digidem
- Agrailag
- anghelcoviciLondon
- aurelilys@scaleway
- Awpteamoose@GRDigital
- beryllineSuffolk, UK
- CianticFinland, Jyväskylä
- Cypher1@skfltech
- dario23
- dconnollySandboxAQ
- fernandogmoMay 21, 2061
- fluunke@ratiodata-se
- fubuloubu
- gendx
- hoangpqDeveloper Avocados
- ivanbakel
- JackneillEvotrex
- JohnathonNowOptum
- keiichiw@Google
- kubo39Tokyo, Japan
- lucidBrotETH Zürich, most of the time
- lukesteensen@timberio
- MartinNowack
- mgritterPostman, Inc.
- nikitavoloboevMadrid
- polyrandBarcelona
- punkeelMunich, Germany
- qguv@surfly
- rDaffaGermany
- RobbepopBerlin
- Shella@iqlusioninc
- ssokolowOntario, Canada
- valpackettArgentina ⭐⭐⭐
- vitorenesduarte
- yjarrar
- zhanghongceHong Kong University of Science and Technology (Guangzhou)