← all formulas
civl
Concurrency Intermediate Verification Language
- Version
- v1.22-5854
- License
- GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install civl