fadoss / maude-bindingsLinks
Language bindings for Maude
☆23Updated 9 months ago
Alternatives and similar repositories for maude-bindings
Users that are interested in maude-bindings are comparing it to the libraries listed below
Sorting:
- Unified Maude model-checking tool☆12Updated 2 weeks ago
- Verimag Polyhedra Library☆18Updated 6 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 8 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆84Updated 3 months ago
- Language based on Rewriting Logic☆140Updated last week
- DepQBF, a solver for quantified boolean formulae (QBF).☆38Updated 2 years ago
- Repository of benchmarks for SYNTCOMP☆13Updated last month
- Fuzz testing for Dafny☆13Updated 3 years ago
- ☆16Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- ☆19Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- An automated deductive program verifier.☆42Updated 2 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Updated last year
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 3 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Educational Proof Assistant for Type Theory☆75Updated last year
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆108Updated this week
- ☆15Updated 4 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated this week
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated 2 months ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆14Updated this week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated 11 months ago
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated 2 years ago
- AE-solver and Skolemizer☆17Updated 10 months ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated this week