Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games

Fixed Points of the Set-Based Bellman Operator

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