macOS
Homebrewverified · 100%
brew install civllocal Homebrew formula metadata
brew / rank 7529
Install civl with Homebrew
Concurrency Intermediate Verification Language. Version 1.22-5854 via Homebrew; verified 2026-06-22.
install
Additional install commands
overview
Package summary
Concurrency Intermediate Verification Language
Project links
Commands and aliases
- civl
history
Project history and usage
CIVL is the Concurrency Intermediate Verification Language from the University of Delaware Verified Software Laboratory, packaged as a command-line verification tool for concurrent programs.
Project history
The official CIVL homepage redirects to the VSL Trac wiki, and the official software directory publishes versioned CIVL releases. That directory shows a 0.x release series, a 1.x series, and later 2.0 builds, with the manual PDF dated 2021.
Adoption history
The batch input shows CIVL as a Homebrew-only package among the package managers captured for this run. That matches a niche academic verification tool: important to a small formal-methods audience, but not broadly distributed like general-purpose compilers.
How it is used
CIVL is used from the `civl` executable to model, analyze, and verify concurrent programs against CIVL's intermediate verification language and runtime model. Its official manual is the primary user documentation.
Why package nerds care
CIVL is package-nerd interesting because it is an academic formal-verification tool distributed through Homebrew, not because it is a mass-market CLI. It is the sort of package that tests whether a package manager can carry research software with Java/toolchain assumptions and infrequent but versioned upstream releases.
Timeline
- 2015: Official VSL directory lists early archived releases from 0.1 through 1.0.
- 2016: Official VSL directory lists the 1.6 and 1.7 release line.
- 2021: Official CIVL manual PDF was generated.
- 2026: Official VSL directory lists CIVL 2.0 builds and a main directory.
Related projects
- CIVL belongs to the University of Delaware VSL formal-methods tool family.
- It is related by domain to model checking, symbolic execution, and concurrency verification tools rather than to general programming-language runtimes.
Sources
security posture
Risk level: blue
broad file, network, media, or database tool signal.
Risk classifier
blue risk · medium confidence · tool
Why
- broad file, network, media, or database tool signal
Signals
- text:media
Install behavior
- No Homebrew bottle metadata was recorded.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
civl | executable | indexed executable | Discovered from the local executable index. |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-08-03
manager version1.22-5854
manager updated2026-06-22
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:civl |
|---|---|
| Version | 1.22-5854 |
| Package manager | Homebrew |
| Homepage | https://vsl.cis.udel.edu/civl/ |
| Last updated | 2026-06-22T14:03:02-07:00 |
| Pulse | updated |
| Bottle | not recorded |
| Service | none declared |
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- pkg.so package database
- pkgdb category and tag curation