hhu-stups / specificationsLinks
A collection of (public) specifications in different formalisms.
☆18Updated last year
Alternatives and similar repositories for specifications
Users that are interested in specifications are comparing it to the libraries listed below
Sorting:
- The People's Verification System☆156Updated last week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated last month
- ☆34Updated 6 years ago
- Unified Maude model-checking tool☆12Updated 3 weeks ago
- The main development version of the PRISM model checker.☆172Updated last month
- ☆40Updated 6 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Language bindings for Maude☆23Updated 7 months ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 2 weeks ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 7 months ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated last week
- Static Analyzer and Verifier☆48Updated 10 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated last week
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆43Updated 11 months ago
- Documentation☆44Updated 3 months ago
- A Modern Probabilistic Model Checker☆150Updated last week
- Kodkod solver for relational logic☆77Updated 2 years ago
- solver for the reachability modulo theories problem☆60Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- UCLID5: formal modeling, verification, and synthesis of computational systems☆148Updated last month
- Final Year Masters Project: modal logic solver tableaux☆23Updated 3 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- StarExec is a cross community logic solving service☆20Updated 2 months ago
- The main repository integrating the LaTeX beamer-based slides☆27Updated 4 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Port of Aleph to SWI-Prolog☆49Updated last year