# BerkeleyLearnVerify/VerifAI

<https://repo.masters-masters.com/en/repos/BerkeleyLearnVerify/VerifAI>

[Home](https://repo.masters-masters.com/en) › [BerkeleyLearnVerify](https://repo.masters-masters.com/en/owners/BerkeleyLearnVerify) › [VerifAI](https://repo.masters-masters.com/en/repos/BerkeleyLearnVerify/VerifAI)

BerkeleyLearnVerify/VerifAI has 220 stars on GitHub. Its RepoMasters card: Prototype tier. VerifAI is a software toolkit for the formal design and analysis of…

| Field | Value |
| --- | --- |
| Owner | [BerkeleyLearnVerify](https://repo.masters-masters.com/en/owners/BerkeleyLearnVerify) |
| Stars | 220 |
| Forks | 56 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | BSD-3-Clause |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [BerkeleyLearnVerify/VerifAI](https://github.com/BerkeleyLearnVerify/VerifAI) |

## Repository

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Python

- [roy-tong/Verovo · ★ 220 · Python · Prototype](https://repo.masters-masters.com/en/repos/roy-tong/Verovo)
- [Jaasssoooonnnnn/FirstLight\_CR · ★ 220 · Python · Prototype](https://repo.masters-masters.com/en/repos/Jaasssoooonnnnn/FirstLight_CR)
- [hety0211/lumen-raw · ★ 220 · Python · Prototype](https://repo.masters-masters.com/en/repos/hety0211/lumen-raw)
- [mfenniak/pg8000 · ★ 220 · Python · Prototype](https://repo.masters-masters.com/en/repos/mfenniak/pg8000)
- [bdarnell/django-tornado-demo · ★ 220 · Python · Prototype](https://repo.masters-masters.com/en/repos/bdarnell/django-tornado-demo)
- [python-quantities/python-quantities · ★ 220 · Python · Prototype](https://repo.masters-masters.com/en/repos/python-quantities/python-quantities)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.