GitHub topics: maude
rljacobson/mod2
Independent implementation of the pattern matching algorithms in Maude.
Language: Rust - Size: 308 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
rjsun06/rosmaude
Bridge ROS2 and Maude for formal verification and simulation of robotic systems.
Language: Python - Size: 585 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
fadoss/maude-bindings
Language bindings for Maude
Language: SWIG - Size: 444 KB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 23 - Forks: 0
fadoss/maude2lean
Maude to Lean translator
Language: Lean - Size: 176 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0
ncaq/sub-maude
Maude language subset
Language: Haskell - Size: 6.84 KB - Last synced at: 9 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 1
MarioInf-Master-CompuerScience-UCM/Auditoria_Calidad_Fiabilidad
Repositorio de trabajo de la asignatura "Auditoría, calidad y fiabilidad informáticas" (curso 22-23), perteneciente al Máster en Ingeniería Informática de la Universidad Complutense de Madrid (UCM)
Language: Perl - Size: 221 MB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
fadoss/umaudemc
Unified Maude model-checking tool
Language: Python - Size: 273 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 1
fadoss/maudesmc
Model checker for Maude systems controlled by strategies
Language: C++ - Size: 6.19 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
NairdaOcram/hybrid-pq-tls-formal-verification
Formal verification of Hybrid Post-Quantum TLS protocol
Size: 10.7 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
maude-lang/pca-open-system
Maude specification of a Patient Controlled Analgesia (PCA) open system
Language: Python - Size: 37.1 KB - Last synced at: 12 months ago - Pushed at: 12 months 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 at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 2
fadoss/snarrow
Narrowing with strategies in Maude
Language: Python - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: over 7 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 at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
SRI-CSL/imaude
Interactive Maude
Language: NewLisp - Size: 76.2 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 8 - Forks: 1
fadoss/multivesta-maude
Maude simulator for MultiVeSta
Language: Python - Size: 22.5 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
katrielalex/confluin
confluin does confluence checks for Tamarin input files
Language: Python - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: about 7 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 at: about 2 years ago - Pushed at: over 2 years 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 at: 5 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
pthariensflame/pygments-maude
Pygments lexers for Maude, both batch and interactive.
Language: Python - Size: 14.6 KB - Last synced at: 3 days ago - Pushed at: over 7 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 at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
bhaaksema/rug-picalc
Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
SRI-CSL/iopc
The C infrastructure for the IOP system
Language: C - Size: 53.6 MB - Last synced at: about 2 months ago - Pushed at: over 2 years 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 at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
gorkinovich/ACF
Auditoría, Calidad y Fiabilidad (UCM, 2015)
Size: 735 KB - Last synced at: 10 months ago - Pushed at: almost 3 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 at: 10 months ago - Pushed at: almost 9 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 at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
shchae7/raft_maude
Maude model of Raft Algorithm
Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 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 at: about 2 years ago - Pushed at: about 5 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 at: about 2 years ago - Pushed at: about 5 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 at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1
adamlazz/language-maude
An Atom package for The Maude System
Language: CoffeeScript - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: over 9 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 at: about 2 years ago - Pushed at: over 6 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 at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
