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☆81Updated this week
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- ☆47Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 weeks ago
- A verification tool for many memory models☆85Updated this week
- Public-facing course info for program analysis materials.☆39Updated 3 months ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- ☆16Updated 9 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- A program synthesis framework for verified lifting applications☆50Updated last week
- ☆51Updated 8 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- UB-aware interpreter for LLVM debugging☆26Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 10 months ago
- Pono: A flexible and extensible SMT-based model checker☆93Updated this week
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- ☆27Updated 10 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆18Updated 4 years ago
- Static Analyzer and Verifier☆46Updated 5 months ago
- ☆9Updated 7 months ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago