Clereco

Cross-Layer Early Reliability Evaluation for the Computing cOntinuum

BaITA is a reliability analyzer for x86 instruction set based Software.

LIFILL is a full featured fault injector based on LLVM.

LICFI is full fault injector for any C-language developed program.

ALIVE evaluates the effect of faults on a software by means of variable lifetime and output analysis.