Kind,a k-induction based model-checker

Kind-AI, automatic abstract interpreter module for Lustre model-checker Kind

LustreC: a modular Lustre compiler

Ocaml library for Semi-Definite Programming (SDP, SOS)

TINY: Simple Static Analyzer for Imperative Code and Numerical precision analysis

SMT-AI, abstract interpreter for a temporal extension of SMT-lib

YASA: Yet Another Static Analyzer

Zen : an Accurate Centralizer for NASA JavaPathFinder

PACSA: a Primitive Actor Calculus Static Analyzer