ajwijs / GPUexplore
GPU model checker
☆11Updated 6 years ago
Alternatives and similar repositories for GPUexplore:
Users that are interested in GPUexplore are comparing it to the libraries listed below
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- A translation validation framework for MLIR☆81Updated last month
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- ☆28Updated 2 weeks ago
- A verification tool for many memory models☆89Updated this week
- ☆16Updated 10 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated last month
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- ☆10Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- UB-aware interpreter for LLVM debugging☆26Updated this week
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- FPGA synthesis tool powered by program synthesis☆41Updated this week
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆41Updated 5 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- ☆21Updated 5 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 4 months ago
- Pono: A flexible and extensible SMT-based model checker☆99Updated this week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- CMU 15-745 Spring 2014☆10Updated 11 years ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 11 months ago