# civl を Homebrew でインストール

civl のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:civl
```

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install civl
```

  証拠: local Homebrew formula metadata

## パッケージ情報

- **パッケージキー:** brew:civl
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/civl>
- **バージョン:** 1.22-5854
- **ソース概要:** Concurrency Intermediate Verification Language
- **ホームページ:** <https://vsl.cis.udel.edu/civl/>
- **上流ドキュメント:** <https://vsl.cis.udel.edu/civl/>
- **ライセンス:** GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
- **ソースアーカイブ:** <https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz>
- **最終更新:** 2026-06-22T14:03:02-07:00
- **生成日時:** 2026-08-04T22:13:35+00:00

## 実行可能ファイル

- civl (cli)
- civl (エイリアス)

## 依存関係

- openjdk
- z3

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 all

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 1.22-5854
- マネージャ更新日: 2026-06-22
- ローカルデータ: OK
- 上流リポジトリ: https://vsl.cis.udel.edu/civl/
- 情報: Release/tag comparison is only available for GitHub repositories.
## プロジェクトの歴史と使われ方

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.

### プロジェクトの歴史

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.

### 採用の歴史

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.

### 使われ方

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.

### パッケージ好きにとっての重要性

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.

### タイムライン

- 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.

### ソース

- <https://vsl.cis.udel.edu/civl/>
- <https://vsl.cis.udel.edu/lib/sw/civl/>
- <https://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf>
- <https://formulae.brew.sh/api/formula/civl.json>


## セキュリティノート

broad file, network, media, or database tool signal.

- **Geiger リスク:** blue / 中
- broad file, network, media, or database tool signal

## ソースデータベース詳細

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** civl
- **Version Scheme:** 0
- **Revision:** 0
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable


## 関連リンク

- [Secret-risk packages](https://pkg.so/ja/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://pkg.so/ja/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/ja/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://pkg.so/ja/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [openjdk](https://pkg.so/ja/brew/openjdk/) - Runtime dependency declared by Homebrew.
- [z3](https://pkg.so/ja/brew/z3/) - Runtime dependency declared by Homebrew.
- [spin](https://pkg.so/ja/brew/spin/) - Shares pkgdb curated category or tags: cli, concurrency, developer-tools, formal-verification, model-checking.
- [cbmc](https://pkg.so/ja/brew/cbmc/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification, model-checking.
- [klee](https://pkg.so/ja/brew/klee/) - Shares pkgdb curated category or tags: cli, developer-tools, symbolic-execution.
- [dafny](https://pkg.so/ja/brew/dafny/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification.
- [sby](https://pkg.so/ja/brew/sby/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification.
- [quint](https://pkg.so/ja/brew/quint/) - Shares pkgdb curated category or tags: cli, developer-tools, model-checking.
- [esbmc](https://pkg.so/ja/brew/esbmc/) - Shares pkgdb 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/mxcl/pkgdb/blob/main/combined/civl.yml)


## ソース

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- cross-ecosystem install command graph