Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
☆62Feb 27, 2026Updated this week
Alternatives and similar repositories for theta
Users that are interested in theta are comparing it to the libraries listed below
Sorting:
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- The Ultimate program analysis framework.☆238Updated this week
- TriCera: a model checker for C programs☆26Updated this week
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- ☆20May 30, 2024Updated last year
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 7 months ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules☆25Feb 24, 2026Updated last week
- 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…☆22Mar 21, 2021Updated 4 years ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- SMTInterpol interpolating SMT solver☆70Feb 19, 2026Updated last week
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A PowerShell utility to facilitate quick automatic configuration of Windows Sandbox.☆13Feb 5, 2026Updated 3 weeks ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- The LandSAR search and rescue platform☆11Dec 19, 2025Updated 2 months ago
- JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection☆11Jan 11, 2022Updated 4 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- Ancient and somewhat pathological LaTeX parser written in Java☆13Jan 19, 2024Updated 2 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 11 months ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Repository for JabRef's blog☆11Feb 22, 2026Updated last week
- Gradle plugin based upon maven-modernizer-plugin☆13Jun 9, 2020Updated 5 years ago
- Arxml Editor, using Eclipse XML Editor☆13Jun 14, 2018Updated 7 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago
- C++ genetic algorithms scientific library☆15Aug 12, 2023Updated 2 years ago
- Applications, testing, demos and other models in xtUML form.☆17Feb 2, 2026Updated last month
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Tool that allows you to find and solve architectural smells inside a microservice architecture driven by Kubernetes☆11Feb 8, 2023Updated 3 years ago
- A tool for turning mdbooks into slide shows☆18Feb 20, 2026Updated last week
- C Compiler written in Kotlin☆13Apr 19, 2024Updated last year
- Align version numbers for all OpenRewrite maintained recipe modules☆15Updated this week
- Bits and pieces for javafx☆14Sep 17, 2022Updated 3 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 9 years ago