sosy-lab / sv-witnessesView external linksLinks
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
☆18Sep 24, 2022Updated 3 years ago
Alternatives and similar repositories for sv-witnesses
Users that are interested in sv-witnesses are comparing it to the libraries listed below
Sorting:
- solver for the reachability modulo theories problem☆62Sep 11, 2023Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆188Oct 28, 2021Updated 4 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last week
- ☆20May 11, 2023Updated 2 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Rewrite of the original, with a skill tree☆20Jan 6, 2021Updated 5 years ago
- A minimalistic and high-performance SAT solver☆29Feb 6, 2023Updated 3 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 5 months ago
- TriCera: a model checker for C programs☆26Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆32Feb 19, 2025Updated 11 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆31Dec 9, 2023Updated 2 years ago
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 5 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- An OCaml library providing a C parser and lexer☆42Nov 8, 2024Updated last year
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated 9 months ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Updated this week
- Tool-box for LaTeX programmers using e-TeX☆43Oct 2, 2025Updated 4 months ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆277Feb 10, 2026Updated last week
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- ☆10Nov 21, 2023Updated 2 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Sep 25, 2024Updated last year
- ☆11Dec 1, 2023Updated 2 years ago
- A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.☆11Apr 10, 2021Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- Easy and efficient 2D spin glass simulation for quantum annealing☆12May 17, 2024Updated last year
- Official developer documentation for OneBusAway☆13Feb 11, 2026Updated last week
- ☆11May 14, 2023Updated 2 years ago
- CS1010 I/O Library☆11Aug 21, 2020Updated 5 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- an example of dragging control points of bezier curves using d3.js☆10Sep 6, 2014Updated 11 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Mar 12, 2025Updated 11 months ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week