Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: maude
maude-lang/pca-open-system
Maude specification of a Patient Controlled Analgesia (PCA) open system
Language: Python - Size: 37.1 KB - Last synced: about 20 hours ago - Pushed: 2 days ago - Stars: 0 - Forks: 0
memoriasIT/Formal-Methods-Specification
Formal Methods Specification to model the "Lamport Bakery" using an invented language
Size: 67.4 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 2
fadoss/maude-bindings
Language bindings for Maude
Language: SWIG - Size: 392 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 14 - Forks: 0
fadoss/umaudemc
Unified Maude model-checking tool
Language: Python - Size: 270 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 8 - Forks: 1
fadoss/snarrow
Narrowing with strategies in Maude
Language: Python - Size: 25.4 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
martin-neuhaeusser/erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
Language: Erlang - Size: 85 KB - Last synced: 7 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 1
ningit/smcview
Graphical interface and graph generator for the Maude strategy model checker
Language: Go - Size: 47.9 KB - Last synced: 7 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
fadoss/maude2lean
Maude to Lean translator
Language: Lean - Size: 175 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
fadoss/maudesmc
Model checker for Maude systems controlled by strategies
Language: C++ - Size: 4.31 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 0
SRI-CSL/imaude
Interactive Maude
Language: NewLisp - Size: 76.2 KB - Last synced: 6 months ago - Pushed: almost 5 years ago - Stars: 8 - Forks: 1
fadoss/multivesta-maude
Maude simulator for MultiVeSta
Language: Python - Size: 22.5 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
katrielalex/confluin
confluin does confluence checks for Tamarin input files
Language: Python - Size: 39.1 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
StevenMaude/stevenmaude.github.io
My blog; https://www.stevenmaude.co.uk
Language: HTML - Size: 9.14 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
demiourgoi/ROS_navfn_verification
Maude integration and verification for ROS Nav 2
Language: Python - Size: 68.1 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
pthariensflame/pygments-maude
Pygments lexers for Maude, both batch and interactive.
Language: Python - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 3 - Forks: 0
skneko/strass
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
Language: Svelte - Size: 1.29 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
bhaaksema/rug-picalc
Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 1
ncaq/sub-maude
Maude language subset
Language: Haskell - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0
SRI-CSL/iopc
The C infrastructure for the IOP system
Language: C - Size: 53.6 MB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 3
canhminhdo/spec-based
Specification-based Testing Concurrent Java Programs with JPF and Maude
Language: Java - Size: 5.54 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
gorkinovich/ACF
Auditoría, Calidad y Fiabilidad (UCM, 2015)
Size: 735 KB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
gorkinovich/Selene
System to use model-checking in languages with concurrent programing using message passing
Size: 66.4 KB - Last synced: over 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 1
ROBINADC/Formal-Semantics-for-OpenFlow
A formal semantics framework for OpenFlow networks implemented in Maude 3.1
Size: 168 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
jiriklepl/NTIN043
Repo for assignments on NTIN043 (Formal Foundations of Software Engineering)
Language: Alloy - Size: 13 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
shchae7/raft_maude
Maude model of Raft Algorithm
Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
ajayeeralla/BSM
Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.
Size: 45.9 KB - Last synced: over 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
ajayeeralla/Unification_ACh
We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.
Size: 17.6 KB - Last synced: over 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
ayberkt/tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
Language: Standard ML - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 1
adamlazz/language-maude
An Atom package for The Maude System
Language: CoffeeScript - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 5 - Forks: 1
MonoidalAttackTrees/Lina
A Haskell EDSL for conducting threat analysis using Attack Trees
Language: Haskell - Size: 75.2 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 1
taktoa/maude Fork of maude-team/maude
This repository contains the Maude 2 interpreter source tree.
Language: C++ - Size: 2.73 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0