Software

Frama-C : A Software Analysis Framework

• Celia : Verification of Programs with Dynamic Lists and Data

• Flata : Analysis of Non-deterministic Integer Programs by Acceleration

• Flata-C : Verification of C programs with Pointer Arithmetic

• HeapHop : A Prover for Concurrent Heap-manipulating Programs

• cHeap : Verification of Concurrent Software with Recursive Data Structures

• Forester : Verification of Programs with Complex Dynamic Data Structures

NTS-LIB : An Exchange Platform for Integer Program Verifiers