# 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 - **Page du gestionnaire de paquets:** - **Version:** 1.22-5854 - **Résumé source:** Concurrency Intermediate Verification Language - **Page d'accueil:** - **Docs amont:** - **Licence:** GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause - **Archive source:** - **Dernière mise à jour:** 2026-06-22T14:03:02-07:00 - **Généré:** 2026-08-04T22:13:35+00:00 ## exécutables - civl (cli) - civl (alias) ## Dépendances - openjdk - z3 ## Comportement d'installation - hook post-installation: non défini - Bouteille: disponible sur all ## Version et fraîcheur - page générée: 2026-08-04 - version du gestionnaire: 1.22-5854 - gestionnaire mis à jour: 2026-06-22 - données locales: OK - dépôt amont: https://vsl.cis.udel.edu/civl/ - info: Release/tag comparison is only available for GitHub repositories. ## 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 - - - - ## Notes de sécurité broad file, network, media, or database tool signal. - **Risque Geiger:** blue / moyen - broad file, network, media, or database tool signal ## Détails de la base source - **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 ## Liens liés - [Secret-risk packages](https://pkg.so/fr/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://pkg.so/fr/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://pkg.so/fr/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [openjdk](https://pkg.so/fr/brew/openjdk/) - Runtime dependency declared by Homebrew. - [z3](https://pkg.so/fr/brew/z3/) - Runtime dependency declared by Homebrew. - [spin](https://pkg.so/fr/brew/spin/) - Shares pkgdb curated category or tags: cli, concurrency, developer-tools, formal-verification, model-checking. - [cbmc](https://pkg.so/fr/brew/cbmc/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification, model-checking. - [klee](https://pkg.so/fr/brew/klee/) - Shares pkgdb curated category or tags: cli, developer-tools, symbolic-execution. - [dafny](https://pkg.so/fr/brew/dafny/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification. - [sby](https://pkg.so/fr/brew/sby/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification. - [quint](https://pkg.so/fr/brew/quint/) - Shares pkgdb curated category or tags: cli, developer-tools, model-checking. - [esbmc](https://pkg.so/fr/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) ## Sources - 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