PrototypeCommon
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
- Owner
- utwente-fmt (organization)
- Stars
- Stars: 115
- Forks
- Forks: 41
- Language
- Scala
- License
- MPL-2.0
- Created
- 2016
- Topics
- verificationconcurrencyparallelismsoftware-analysisseparation-logicjavacopenclopenmpviper
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Scala
All Scala repos- cld378632668/Source-Notes-Chinese-translations-of-Spark-GraphXStars: 115ScalaPrototype
- apache/daffodilStars: 115ScalaPrototype
- microsoft/Azure-Databricks-NYC-Taxi-WorkshopStars: 115ScalaPrototype
- bioscala/bioscalaStars: 115ScalaPrototype
- gzoller/ScalaJackStars: 115ScalaPrototype