- Bee - Source-to-source array contraction under scheduling constraints
- Cl@k - Critical Lattice Kernel Library
- RanK - A tool to prove program termination/and to estimate computational complexity (WCCC)
- WTC - Termination/Complexity bounding Benchmarks
- SToP - Scalable Termination analysis of C Programs
- Termite - Termination in the large (now on
github !) (PLDI 2015)
- Simplication - Simplification of Boolean Affine Formulas
- CART - Constant Aspect Ratio Tiling
- Aspic Invariant Generator.
From other teams
Page maintained by Christophe Alias.