maude
There are 34 repositories under maude topic.
fadoss/maude-bindings
Language bindings for Maude
fadoss/umaudemc
Unified Maude model-checking tool
SRI-CSL/imaude
Interactive Maude
adamlazz/language-maude
An Atom package for The Maude System
bhaaksema/ug-picalc
Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
ayberkt/tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
martin-neuhaeusser/erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
MonoidalAttackTrees/Lina
A Haskell EDSL for conducting threat analysis using Attack Trees
ncaq/sub-maude
Maude language subset
pthariensflame/pygments-maude
Pygments lexers for Maude, both batch and interactive.
SRI-CSL/iopc
The C infrastructure for the IOP system
joe-lynch/ODPE
The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of proof search both with and without proof variables.
demiourgoi/ROS_navfn_verification
Maude integration and verification for ROS Nav 2
fadoss/maude2lean
Maude to Lean translator
fadoss/maudesmc
Model checker for Maude systems controlled by strategies
fadoss/multivesta-maude
Maude simulator for MultiVeSta
frnlpz/MFI
Maude exercises for MFI (UPV)
memoriasIT/Formal-Methods-Specification
Formal Methods Specification to model the "Lamport Bakery" using an invented language
ningit/smcview
Graphical interface and graph generator for the Maude strategy model checker
shchae7/raft_maude
Maude model of Raft Algorithm
ajayeeralla/BSM
Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.
canhminhdo/spec-based
Specification-based Testing Concurrent Java Programs with JPF and Maude
fadoss/snarrow
Narrowing with strategies in Maude
maude-lang/pca-open-system
Maude specification of a Patient Controlled Analgesia (PCA) open system
NairdaOcram/hybrid-pq-tls-formal-verification
Formal verification of Hybrid Post-Quantum TLS protocol
ROBINADC/Formal-Semantics-for-OpenFlow
A formal semantics framework for OpenFlow networks implemented in Maude 3.1
skneko/strass
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
ajayeeralla/Unification_ACh
We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.
gorkinovich/ACF
AuditorĂa, Calidad y Fiabilidad (UCM, 2015)
gorkinovich/Selene
System to use model-checking in languages with concurrent programing using message passing
jiriklepl/NTIN043
Repo for assignments on NTIN043 (Formal Foundations of Software Engineering)
katrielalex/confluin
confluin does confluence checks for Tamarin input files
StevenMaude/stevenmaude.github.io
My blog; https://www.stevenmaude.co.uk
taktoa/maude
This repository contains the Maude 2 interpreter source tree.