Popular repositories

1. maline maline Public

   Android Malware Detection Framework

   C++ 76 31

2. FPTaylor FPTaylor Public

   Tool for Rigorous Estimation of Round-Off Floating-Point Errors

   OCaml 24 9

3. gelpia gelpia Public

   Rigorous Global Branch-and-Bound Optimizer

   Python 15 6

4. FPTuner FPTuner Public

   Rigorous Floating-Point Mixed-Precision Tuner

   Python 12 7

5. KULFI KULFI Public

   LLVM Instruction Level Fault Injector

   C++ 6 1

6. conferences conferences Public

   Conferences on Software Verification and Analysis

   4 2