Microsoft Static Driver Verifier Benchmarks
☆14Jul 21, 2017Updated 8 years ago
Alternatives and similar repositories for sdvbench
Users that are interested in sdvbench are comparing it to the libraries listed below
Sorting:
- solver for the reachability modulo theories problem☆63Sep 11, 2023Updated 2 years ago
- Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit☆19Nov 12, 2024Updated last year
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Rigorous Global Branch-and-Bound Optimizer☆24Dec 13, 2024Updated last year
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 4 years ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 3 months ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- Исходники проектов канала http://www.youtube.com/user/TheMrDen3D☆10Mar 16, 2022Updated 3 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 7 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆188Oct 28, 2021Updated 4 years ago
- Boogie☆569Updated this week
- ☆10Mar 24, 2025Updated 11 months ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆12Jun 18, 2024Updated last year
- example files to follow the MOOC on RTL-SDR☆12Mar 18, 2017Updated 8 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- Basic Viewer for Chats exported through the SendByMail function☆11Sep 13, 2017Updated 8 years ago
- Windows Community Toolkit design guide and templates☆12Jan 19, 2023Updated 3 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- CAPD library☆16Jan 4, 2026Updated last month
- blog.mattbierner.com☆10Jul 4, 2024Updated last year
- A tool for learning bug patterns.☆11Jul 19, 2016Updated 9 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- A library for parsing security advisories☆13Feb 5, 2026Updated 3 weeks ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- ☆16Nov 10, 2015Updated 10 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Nov 18, 2020Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Open source set of instrumentation controls.☆12Jan 9, 2025Updated last year
- ☆10Aug 18, 2017Updated 8 years ago