fadoss / maude-bindings
Language bindings for Maude
☆21Updated 2 months ago
Alternatives and similar repositories for maude-bindings:
Users that are interested in maude-bindings are comparing it to the libraries listed below
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated 3 weeks ago
- Automatically exported from code.google.com/p/full-maude☆15Updated last year
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆75Updated last month
- The LTSmin model checking toolset☆57Updated 4 months ago
- ☆19Updated 8 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 5 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 9 months ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated last week
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆15Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- ☆16Updated 9 months ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆18Updated last year
- ☆14Updated 3 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆19Updated 3 years ago