Tools

CoSA: CoreIR Symbolic Analyzer

xSAP: eXtended Safety Analysis Platform

OCRA: A tool for checking the refinement of temporal contracts

nuXmv: a New Symbolic Model Checker

NuSMV: a New Symbolic Model Checker

MathSAT5: an SMT solver for Formal Verification & More