Skip to content
Change the repository type filter

All

    Repositories list

    • Coq
      Other
      0000Updated Jun 20, 2022Jun 20, 2022
    • rampage

      Public
      RAMpage -- An online memory tester for Linux
      C
      8700Updated Feb 15, 2022Feb 15, 2022
    • fail

      Public
      FAult Injection Leveraged
      C++
      GNU General Public License v3.0
      104033Updated Dec 15, 2021Dec 15, 2021
    • Simple Workload Targets for FAIL*
      Makefile
      2110Updated Nov 3, 2021Nov 3, 2021
    • MiBench benchmark modifications used in the EDCC 2019 paper "Quantitative Cross-Layer Evaluation of Transient-Fault Injection Techniques for Algorithm Comparison"
      C
      1000Updated Jul 6, 2019Jul 6, 2019
    • dosek

      Public archive
      dOSEK - A Dependability Oriented Static Embedded Kernel
      Python
      GNU Lesser General Public License v3.0
      2600Updated Nov 17, 2015Nov 17, 2015