civl
The Concurrency Intermediate Verification Language
https://vsl.cis.udel.edu/civl/
/api/formula-linux/civl.json (JSON API)
Linux formula code on GitHub
Current versions:
| stable | ✅ | 1.7-3157 |
Revision: 1
Depends on:
| adoptopenjdk | 1.8.0.212 | Prebuilt binaries produced from OpenJDK class libraries |
| z3 | 4.8.7 | High-performance theorem prover |
