# Installer civl avec Homebrew

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de civl pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install civl
```

  Preuve: local Homebrew formula metadata

## Faits du paquet

- **Clé du paquet:** brew:civl
- **Gestionnaire de paquets:** Homebrew
- **Version:** 1.22-5854
- **Résumé source:** Concurrency Intermediate Verification Language
- **Page d'accueil:** <https://vsl.cis.udel.edu/civl/>
- **Dernière mise à jour:** 2026-06-22T14:03:02-07:00
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

- civl (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 1.22-5854
## Historique du projet et usages

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.

### Historique du projet

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.

### Historique d'adoption

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.

### Modes d'utilisation

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.

### Pourquoi les passionnés de paquets s'y intéressent

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.

### Chronologie

- 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

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


## Notes de sécurité

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

- **Risque Geiger:** blue / moyen
- broad file, network, media, or database tool signal


## Combined YAML source

View the package source record on GitHub. [combined/civl.yml](https://github.com/mxcl/pkgdb/blob/main/combined/civl.yml)


## Sources

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