Why3

PolyBoRi   (Compare Project)

License: Unknown

Coq proof assistant   (Compare Project)

Mostly written in coq

License: lgpl

pli   (Compare Project)

Mostly written in Python

License: BSD-3-Clause

minikanren-scala   (Compare Project)

Mostly written in Scala

License: bsd

Coloane   (Compare Project)

Mostly written in Java

License: eclipse

Gappa   (Compare Project)

License: gpl

DIVINE   (Compare Project)

Mostly written in C++

License: bsd_2clause_ish

RUDDER   (Compare Project)

Mostly written in Scala

License: apache_2, CC-BY-SA-2_0, gpl3

OSVVM   (Compare Project)

Mostly written in VHDL

License: apache_2

VUnit HDL   (Compare Project)

Mostly written in VHDL

License: mozilla_public_2_0