ajwijs / GPUexploreLinks
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
Sorting:
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- A verification tool for many memory models☆110Updated this week
- ☆31Updated 4 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆86Updated this week
- A program synthesis framework for verified lifting applications☆61Updated 8 months ago
- ☆20Updated last year
- ☆35Updated 6 months ago
- The LTSmin model checking toolset☆61Updated last year
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 5 months ago
- Solving floating point SMT constraints on a GPU☆50Updated 5 years ago
- Generic model checker for concurrent C programs (mirror repository)☆189Updated 2 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- ☆16Updated 4 years ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆32Updated 11 months ago
- Libraries useful for Dafny programs☆48Updated 5 months ago
- UniGen approximately uniform sampler☆34Updated 6 months ago
- The opensmt solver☆91Updated 3 weeks ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Updated 2 months ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Updated 9 years ago
- Static Analyzer and Verifier☆51Updated last year
- ☆11Updated 4 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated 6 months ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- A model checker based on SAT solving and induction☆15Updated 10 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated 2 weeks ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆63Updated 10 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…☆21Updated 4 years ago