tudinfse

Evaluation Server for the TUD SE CDS Lab

A small example of how SpecFuzz can be used in practice

Jupyter Notebook + Go kernel

Docker for HAFT (Hardware Assisted Fault Tolerance)

LLVM extension for Triple Modular Redundancy using Intel Advanced Vector Extensions.