All

31 repositories

RigorousErrorLNS
Public
Rigorous error bounds for Logarithmic Number Systems
Lean
•
MIT License
•0•0•0•0•Updated May 17, 2025May 17, 2025
gelpia
Public
Rigorous Global Branch-and-Bound Optimizer
optimizer global-optimization interval-arithmetic
optimizer global-optimization interval-arithmetic rigorous
Python
•
MIT License
•9•24•10•2•Updated Dec 13, 2024Dec 13, 2024
FPTaylor
Public
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
analysis estimation floating-point
analysis estimation floating-point round-off-error floating-point-accuracy-problems
OCaml
•
MIT License
•10•33•13•2•Updated Sep 1, 2024Sep 1, 2024
rust-benchmarks
Public
Rust software verification benchmarks
rust software-verification verification-benchmarks
rust software-verification verification-benchmarks
Rust
•
MIT License
•2•4•1•1•Updated Apr 18, 2024Apr 18, 2024
OL1V3R
Public
OL1V3R: solving floating-point constraints via stochastic local search
Racket
•
Other
•0•3•0•0•Updated Aug 14, 2022Aug 14, 2022
fpsyn
Public
Synthesis of rigorous floating-point predicates
C
•
MIT License
•1•5•0•0•Updated Mar 24, 2022Mar 24, 2022
AAQNN
Public
Adversarial Attacks for Quantized Neural Networks
Python
•0•2•3•5•Updated Jan 13, 2022Jan 13, 2022
paf
Public
PAF: Probabilistic Analysis of Errors in Floating-Point Computations
analysis estimation floating-point
analysis estimation floating-point round-off-error floating-point-accuracy-problems
Python
•
MIT License
•2•3•12•1•Updated Dec 7, 2021Dec 7, 2021
gelpia_tests
Public
test suite for the gelpia tool
Python
•
MIT License
•0•1•0•0•Updated Dec 6, 2021Dec 6, 2021
lgbtq-problem-set
Public
An LGBTQ-Inclusive Problem Set in Discrete Mathematics
Creative Commons Attribution 4.0 International
•0•2•0•0•Updated Dec 2, 2021Dec 2, 2021
rust-verification-tools
Public
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Rust
•
Apache License 2.0
•37•0•0•0•Updated Sep 9, 2021Sep 9, 2021
soarlab.github.io
Public
SCSS
•
BSD 3-Clause "New" or "Revised" License
•25•0•5•1•Updated Jul 12, 2021Jul 12, 2021
conferences
Public
Conferences on Software Verification and Analysis
2•4•0•0•Updated Apr 21, 2021Apr 21, 2021
pysmt
Public
pySMT: A library for SMT formulae manipulation and solving
Python
•
Apache License 2.0
•148•5•1•0•Updated Apr 20, 2021Apr 20, 2021
FPTuner
Public
Rigorous Floating-Point Mixed-Precision Tuner
tuning floating-point precision-allocation
tuning floating-point precision-allocation precision-tuning
Python
•
MIT License
•4•17•2•0•Updated May 21, 2020May 21, 2020
QF_FXP
Public
SMT
•0•0•1•0•Updated Jan 29, 2020Jan 29, 2020
gandalv
Public
Multi-Language Verification Benchmarks
C++
•
MIT License
•1•2•0•0•Updated Jan 15, 2020Jan 15, 2020
symbooglix
Public
Symbolic Execution Engine for Boogie
C#
•
BSD 2-Clause "Simplified" License
•4•0•0•0•Updated Dec 12, 2019Dec 12, 2019
rustgroup
Public
All code from the Rust group
Rust
•
MIT License
•0•0•0•0•Updated Nov 27, 2019Nov 27, 2019
FPTaylor-website
Public
A webserver that can run FPTaylor
Python
•0•0•0•0•Updated Nov 26, 2019Nov 26, 2019
redleaf
Public
List of Related Work for the Rust Project
0•0•0•0•Updated May 21, 2019May 21, 2019
FPTherbie
Public
TeX
•0•0•0•0•Updated Nov 17, 2018Nov 17, 2018
FPML
Public
Exploring floating-point trade-offs in machine learning
machine-learning floating-point
machine-learning floating-point
TeX
•0•3•0•0•Updated Jul 24, 2018Jul 24, 2018
P
Public
The P programming language.
C#
•
MIT License
•218•0•0•0•Updated May 21, 2018May 21, 2018
jdoop-wrapper
Public
JDoop wrapper for benchmarking
Scala
•
GNU Affero General Public License v3.0
•0•0•0•0•Updated Nov 28, 2017Nov 28, 2017
S3FP
Public
Guided Random Testing for Floating-Point Error Estimation
testing estimation floating-point
testing estimation floating-point round-off-error
C++
•
MIT License
•2•2•0•0•Updated Jul 13, 2017Jul 13, 2017
maline
Public
Android Malware Detection Framework
android malware malware-detection
android malware malware-detection
C++
•
GNU Affero General Public License v3.0
•31•81•5•1•Updated Jan 4, 2017Jan 4, 2017
clover
Public
Analysis of Debian with KLEE
Shell
•
GNU Affero General Public License v3.0
•0•1•0•0•Updated May 19, 2016May 19, 2016
cs5959-f15-shared
Public
Shared Repository for CS 5959: Writing Solid Code
C
•2•1•0•0•Updated Dec 11, 2015Dec 11, 2015
KULFI
Public
LLVM Instruction Level Fault Injector
llvm fault-injection
llvm fault-injection
C++
•
Other
•1•8•1•0•Updated Mar 3, 2015Mar 3, 2015

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Software Analysis Research Lab

All

All

31 repositories

RigorousErrorLNS

gelpia

FPTaylor

rust-benchmarks

OL1V3R

fpsyn

AAQNN

paf

gelpia_tests

lgbtq-problem-set

rust-verification-tools

soarlab.github.io

conferences

pysmt

FPTuner

QF_FXP

gandalv

symbooglix

rustgroup

FPTaylor-website

redleaf

FPTherbie

FPML

P

jdoop-wrapper

S3FP

maline

clover

cs5959-f15-shared

KULFI

All

All

Repositories list

31 repositories