PrototypeCommune
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
- Propriétaire
- viperproject (organisation)
- Étoiles
- Étoiles : 151
- Forks
- Forks : 45
- Langage
- Scala
- Licence
- MPL-2.0
- Création
- 2020
- Sujets
- viperverificationsymbolic-execution
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de viperproject
Les 3 dépôts de viperproject- viperproject/gobraÉtoiles : 229ScalaPrototype
- viperproject/silverÉtoiles : 100ScalaPrototype
D’autres dépôts Scala
Tous les dépôts Scala- EmergentOrder/onnx-scalaÉtoiles : 151ScalaPrototype
- allwefantasy/spark-binlogÉtoiles : 151ScalaPrototype
- ElAlev/WayebÉtoiles : 151ScalaPrototype
- sbt/sbt-pgpÉtoiles : 151ScalaPrototype
- retronym/macrocosmÉtoiles : 151ScalaPrototype
- SalmaKhater/Learning-AkkaÉtoiles : 151ScalaPrototype