soarlab Goto Github PK

aaqnn

Adversarial Attacks for Quantized Neural Networks

clover

Analysis of Debian with KLEE

conferences

Conferences on Software Verification and Analysis

cs5959-f15-shared

Shared Repository for CS 5959: Writing Solid Code

fpml

Exploring floating-point trade-offs in machine learning

fpsyn

Synthesis of rigorous floating-point predicates

fptaylor

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

fptaylor-website

A webserver that can run FPTaylor

fptherbie

fptuner

Rigorous Floating-Point Mixed-Precision Tuner

gandalv

Multi-Language Verification Benchmarks

gelpia

Rigorous Global Branch-and-Bound Optimizer

gelpia_tests

test suite for the gelpia tool

gklee

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

jdoop-wrapper

JDoop wrapper for benchmarking

kulfi

LLVM Instruction Level Fault Injector

lgbtq-problem-set

An LGBTQ-Inclusive Problem Set in Discrete Mathematics

maline

Android Malware Detection Framework

ol1v3r

OL1V3R: solving floating-point constraints via stochastic local search

p

The P programming language.

paf

PAF: Probabilistic Analysis of Errors in Floating-Point Computations

pysmt

pySMT: A library for SMT formulae manipulation and solving

qf_fxp

redleaf

List of Related Work for the Rust Project

rust-benchmarks

Rust software verification benchmarks

rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

rustgroup

All code from the Rust group

s3fp

Guided Random Testing for Floating-Point Error Estimation

soarlab.github.io

symbooglix

Symbolic Execution Engine for Boogie