ajwijs / GPUexplore
GPU model checker
☆11Updated 5 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☆78Updated 2 months ago
- A program synthesis framework for verified lifting applications☆48Updated last month
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- ☆27Updated 7 months ago
- A verification tool for many memory models☆80Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 years ago
- Public-facing course info for program analysis materials.☆38Updated last month
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated last month
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- ☆10Updated 3 years ago
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- Pono: A flexible and extensible SMT-based model checker☆87Updated 2 months ago
- A repository to test dialects defined dynamically.☆12Updated last year
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- Static Analyzer and Verifier☆46Updated 3 months ago
- ☆16Updated 7 months ago
- Memory consistency modelling using Alloy☆28Updated 4 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆11Updated 7 years ago
- ☆46Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- ☆16Updated 5 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆20Updated 3 years ago
- CMU 15-745 Spring 2014☆10Updated 10 years ago