Automic VaultAutomic Vault

brew

Install civl with Homebrew

Concurrency Intermediate Verification Language. Version 1.22-5854 via Homebrew; verified 2026-06-22.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install civl

local Homebrew formula metadata

overview

Package summary

Concurrency Intermediate Verification Language

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.

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 post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 1 platform targets.
  • Installs with 2 runtime dependencies.

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

CommandKindExposureNote
civlcliglobal executable

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-07-08
manager version1.22-5854
manager updated2026-06-22
local dataok
upstreamnot checked
latest detectednot detected

https://vsl.cis.udel.edu/civl/

install metadata

Package metadata

Package keybrew:civl
Version1.22-5854
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/civl
Homepagehttps://vsl.cis.udel.edu/civl/
Repositoryhttps://vsl.cis.udel.edu/trac/civl/browser
Upstream docshttps://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf
LicenseGPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
Source archivehttps://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz
Last updated2026-06-22T14:03:02-07:00
Pulseupdated
Dependenciesopenjdk, z3
Bottleavailable (on all)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namecivl
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • openjdkRuntime dependency declared by Homebrew.
  • z3Runtime dependency declared by Homebrew.

Same workflow

  • spinShares av.db curated category or tags: cli, concurrency, developer-tools, formal-verification, model-checking.
  • cbmcShares av.db curated category or tags: cli, developer-tools, formal-verification, model-checking.
  • dafnyShares av.db curated category or tags: cli, developer-tools, formal-verification.
  • kleeShares av.db curated category or tags: cli, developer-tools, symbolic-execution.
  • quintShares av.db curated category or tags: cli, developer-tools, model-checking.
  • sbyShares av.db curated category or tags: cli, developer-tools, formal-verification.

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.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • package relationship graph
  • package version freshness
  • package-page enrichment