Concurrency Intermediate Verification Language
https://vsl.cis.udel.edu/civl/
License: GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
Formula JSON API: /api/formula/civl.json
Formula code: civl.rb
on GitHub
Bottle (binary package) installation support provided.
Current versions:
stable | ✅ | 1.22-5854 |
Depends on:
openjdk | 23.0.1 | Development kit for the Java programming language |
z3 | 4.13.3 | High-performance theorem prover |
Analytics:
Installs (30 days) | |
---|---|
civl |
25 |
Installs on Request (30 days) | |
civl |
25 |
Build Errors (30 days) | |
civl |
0 |
Installs (90 days) | |
civl |
198 |
Installs on Request (90 days) | |
civl |
198 |
Installs (365 days) | |
civl |
861 |
Installs on Request (365 days) | |
civl |
861 |