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.6 High-performance theorem prover
Fork me on GitHub