# Install civl with Homebrew Concurrency Intermediate Verification Language. Version 1.22-5854 via Homebrew; verified 2026-06-22. ## Install ```sh sudo av install brew:civl ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install civl ``` Evidence: local Homebrew formula metadata ## Package facts - **Package key:** brew:civl - **Package manager:** Homebrew - **Package manager page:** - **Version:** 1.22-5854 - **Source summary:** Concurrency Intermediate Verification Language - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause - **Source archive:** - **Last updated:** 2026-06-22T14:03:02-07:00 - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - civl (cli) - civl (alias) ## Dependencies - openjdk - z3 ## Install behavior - Post-install hook: not defined - Bottle: available on all ## Freshness - Page generated: 2026-07-08 - Package-manager version: 1.22-5854 - Package-manager updated: 2026-06-22 - Local data: ok - Upstream repository: https://vsl.cis.udel.edu/civl/ - info: Release/tag comparison is only available for GitHub repositories. ## 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 Notes broad file, network, media, or database tool signal. - **Geiger risk:** blue / medium - broad file, network, media, or database tool signal ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** civl - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Related links - [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew. - [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew. - [spin](https://www.automicvault.com/pkg/brew/spin/) - Shares av.db curated category or tags: cli, concurrency, developer-tools, formal-verification, model-checking. - [cbmc](https://www.automicvault.com/pkg/brew/cbmc/) - Shares av.db curated category or tags: cli, developer-tools, formal-verification, model-checking. - [dafny](https://www.automicvault.com/pkg/brew/dafny/) - Shares av.db curated category or tags: cli, developer-tools, formal-verification. - [klee](https://www.automicvault.com/pkg/brew/klee/) - Shares av.db curated category or tags: cli, developer-tools, symbolic-execution. - [quint](https://www.automicvault.com/pkg/brew/quint/) - Shares av.db curated category or tags: cli, developer-tools, model-checking. - [sby](https://www.automicvault.com/pkg/brew/sby/) - Shares av.db curated category or tags: cli, developer-tools, formal-verification. ## Combined YAML source View the package source record on GitHub. [combined/civl.yml](https://github.com/automic-vault/db/blob/main/combined/civl.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - cross-ecosystem install command graph