npm

civl

Verification tool for concurrent C programs using intermediate language

brewmacoslinux
Try with needOr install directly
Source

About

Concurrency Intermediate Verification Language

Commands

civl

Examples

Verify a C program for concurrency correctness$ civl verify program.c
Translate C program to CIVL intermediate language$ civl compile program.c -o program.cvl
Run verification with specified number of processes$ civl verify -nprocs 4 program.c