cvc4 topic

List cvc4 repositories

stainless

348
Stars
48
Forks
Watchers

Verification framework and tool for higher-order Scala programs

verified publisher icon epfl-lara

yinyang

174
Stars
22
Forks
Watchers

A fuzzing framework for SMT solvers

verified publisher icon testsmt

Software-Analysis-PAVT

34
Stars
6
Forks
Watchers

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

verified publisher icon codersguild

nunchaku

41
Stars
3
Forks
Watchers

Model finder for higher-order logic

verified publisher icon nunchaku-inria