viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
ScalaMPL-2.0
Stargazers
- aoli-alPittsburgh, PA
- astroC86
- atergaDFINITY Foundation
- bobismijnnaamOne Million Inc.
- cedihegiZürich
- chenruibuaaBeijing Sunwise Information Technology Co. Ltd.
- dataronio
- dddzzz18
- DemuirgosNethermind
- dobiosPrinceton University
- dvntaudioPortland, OR
- euppJetBrains Research
- Flians
- fpoliETH Zurich
- Gy-HuThe Hong Kong University of Science and Technology
- indieterminacyBrussels, Belgium
- jcp19ETH Zurich
- jeandudeySpain
- jeffchen006
- jevinskieLafayette, Indiana
- keyboardDrummer@amzn
- lhao03
- limpid-kzonixKyiv, Ukraine
- mario-bucev
- maurobringolfZürich, Switzerland
- mschwerhoff
- mxprshnHuawei Russian Research Institute
- neuroevolutus
- OmerSakar
- qpwo
- romac@informalsystems
- sirinathSakrio!
- SophietjeTNO
- tmsnvddevbridge
- tschoesi
- ZippeyKeys12Pennsylvania, United States