model-checking topic

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

will62794

Read-only mirror of the Klever Git repository

ldv-klever

An LLVM-based formal verification frontend for C programs.

ftsrg

Distributed termination detection on a ring, due to Shmuel Safra:

tlaplus-workshops

A multi-formalism, multi-solution model-checker centered on the language GAL

lip6

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

eve-mas

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius

Multiparty Session Types toolKit

alcestes

ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.

draeger-lab

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

ge-high-assurance