fadoss / maude-bindings
Language bindings for Maude
☆23Updated 4 months ago
Alternatives and similar repositories for maude-bindings:
Users that are interested in maude-bindings are comparing it to the libraries listed below
- Unified Maude model-checking tool☆11Updated 4 months ago
- ☆15Updated 4 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- The LTSmin model checking toolset☆59Updated 6 months ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Partial Commutative Monoids☆28Updated last month
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 3 months ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated 3 weeks ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆19Updated last week
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- A best-first-search theorem prover implemented in Isabelle☆34Updated 2 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Relation algebra library for Coq☆48Updated last month
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Verimag Polyhedra Library☆18Updated 3 weeks ago
- Algebraic Combinatorics in Coq☆38Updated 3 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated last year
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated 2 weeks ago
- The Zenon theorem prover☆15Updated last year
- ☆36Updated last month
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 6 months ago