hhu-stups / specificationsLinks
A collection of (public) specifications in different formalisms.
☆19Updated 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☆168Updated this week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Updated 3 weeks ago
- ☆35Updated 6 years ago
- DSVerifier - Digital Systems Verifier☆11Updated 6 years ago
- A Python model checking package☆69Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated 2 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Updated 2 years ago
- ☆40Updated 6 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated last year
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 3 weeks ago
- Unified Maude model-checking tool☆13Updated last week
- The Ciao Preprocessor☆13Updated 7 months ago
- StarExec is a cross community logic solving service☆19Updated 8 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆61Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆69Updated last week
- Language bindings for Maude☆24Updated 3 months ago
- A rule engine based on Attempto Controlled English☆18Updated last year
- Automated Programming Framework☆15Updated 5 years ago
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- RV-Monitor core system code☆16Updated 4 years ago
- Static Analyzer and Verifier☆51Updated last year
- ☆20Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated 2 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Updated 3 weeks ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆22Updated 4 months ago
- Operations with matrices, SWI pack☆13Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 7 months ago