There are no reviews yet. Be the first to send feedback to the community and the maintainers!
maline
Android Malware Detection FrameworkFPTaylor
Tool for Rigorous Estimation of Round-Off Floating-Point Errorsgelpia
Rigorous Global Branch-and-Bound OptimizerFPTuner
Rigorous Floating-Point Mixed-Precision TunerKULFI
LLVM Instruction Level Fault Injectorconferences
Conferences on Software Verification and AnalysisFPML
Exploring floating-point trade-offs in machine learningrust-benchmarks
Rust software verification benchmarksGklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programsgandalv
Multi-Language Verification BenchmarksS3FP
Guided Random Testing for Floating-Point Error EstimationAAQNN
Adversarial Attacks for Quantized Neural Networksfpsyn
Synthesis of rigorous floating-point predicateslgbtq-problem-set
An LGBTQ-Inclusive Problem Set in Discrete Mathematicspaf
PAF: Probabilistic Analysis of Errors in Floating-Point ComputationsOL1V3R
OL1V3R: solving floating-point constraints via stochastic local searchgelpia_tests
test suite for the gelpia toolclover
Analysis of Debian with KLEELove Open Source and this site? Check out how you can help us