PrototypeCommune
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
- Propriétaire
- utwente-fmt (organisation)
- Étoiles
- Étoiles : 115
- Forks
- Forks : 41
- Langage
- Scala
- Licence
- MPL-2.0
- Création
- 2016
- Sujets
- verificationconcurrencyparallelismsoftware-analysisseparation-logicjavacopenclopenmpviper
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Scala
Tous les dépôts Scala- cld378632668/Source-Notes-Chinese-translations-of-Spark-GraphXÉtoiles : 115ScalaPrototype
- apache/daffodilÉtoiles : 115ScalaPrototype
- microsoft/Azure-Databricks-NYC-Taxi-WorkshopÉtoiles : 115ScalaPrototype
- bioscala/bioscalaÉtoiles : 115ScalaPrototype
- gzoller/ScalaJackÉtoiles : 115ScalaPrototype