VerCors

All repositories

Overview

HEALTH SCORE

Fair

66out of 100

Security posture drags the score down. Maintainer coverage and development cadence help keep it from falling further.

LIFECYCLE

Active

Consistent commits, responsive maintainers, regular releases, and healthy issue triage.

Display your project Health score on your GitHub page.

Health breakdown

Fair(66/100)

Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.

Maintainer responsiveness

Median response time is 0 days.

Bus factor

5 active maintainers currently have merge rights.

Organization Diversity

Contributors span 17 organizations.

Project Achievements

Leaderboards

About

VerCors is a formal verification tool for concurrent software that enables developers to verify functional correctness of parallel and concurrent programs. It supports verification of Java, OpenCL, OpenMP, and PVL programs using permission-based separation logic.

First commit

August 2011

Software value

$8.6M