viperproject/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
ScalaMPL-2.0
Stargazers
- agnosticlines[object Object]
- alexporter8013
- anqili426
- AYUSHMIT
- dataronio
- Dev-XYSETH Zürich
- dobios@sifive
- fnussbaum
- fpoliETH Zurich
- Gy-HuThe Hong Kong University of Science and Technology
- huskyii@AMD
- iNarcissuss
- indieterminacyBrussels, Belgium
- jcp19ETH Zurich
- lzy0505@logsem
- maurobringolfZürich, Switzerland
- mschwerhoff
- mueller55
- neuroevolutus
- nikitavoloboevTbilisi
- NWMonster
- OmerSakar
- paganma
- PSS1998
- RCoeurjoly
- rmehri01@replit
- shaobo-he
- sirinathSakrio!
- ZippeyKeys12Pennsylvania, United States