hhu-stups / specifications
A collection of (public) specifications in different formalisms.
☆15Updated 6 months ago
Related projects: ⓘ
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago
- StarExec is a cross community logic solving service☆16Updated 3 months ago
- Port of Aleph to SWI-Prolog☆43Updated 7 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- ☆13Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- SPARK 2014 repository for the Why3 verification platform.☆29Updated last month
- Automated Programming Framework☆14Updated 4 years ago
- ☆40Updated 5 years ago
- The People's Verification System☆134Updated last week
- ☆33Updated 5 years ago
- Synthesis Format Conversion Tool☆23Updated last month
- The LTSmin model checking toolset☆52Updated 6 months ago
- ☆19Updated 9 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- Formal Language Tools for Robots☆13Updated 8 years ago
- ☆11Updated 6 years ago
- top-down interpreter for ASP programs with constraints☆15Updated 2 years ago
- Language bindings for Maude☆17Updated 5 months ago
- Kodkod solver for relational logic☆72Updated last year
- The main repository integrating the LaTeX beamer-based slides☆22Updated 7 months ago
- EPMC: An Extendible Probabilistic Model Checker☆14Updated 2 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- Primary implementation of the Venture probabilistic programming system☆29Updated 4 years ago
- An automata learning library written in Python.☆47Updated 4 years ago
- 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…☆12Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆36Updated 7 months ago
- ☆15Updated last year