maude

There are 3 repositories under maude topic.

• fadoss / maude-bindings

  Language bindings for Maude

  formal-methodsmaudepythonswig
  Language:SWIG 14

• fadoss / umaudemc

  Unified Maude model-checking tool

  maudemodel-checkingverification
  Language:Python 8

• SRI-CSL / imaude

  Interactive Maude

  maudeactorsiopjlambda
  Language:NewLisp 8

• adamlazz / language-maude

  An Atom package for The Maude System

  maudeatom
  Language:CoffeeScript 6

• bhaaksema / rug-picalc

  Executable Specification of Pi-Calculus with Reduction Semantics in Maude.

  universitypi-calculusmaude
  5

• ayberkt / tinyrw

  A toy language based on rewriting using code from Baader and Nipkow.

  mauderewritingterm-rewritingrewrite-systemalgebra
  Language:Standard ML 4

• martin-neuhaeusser / erlang-verifier

  LTL model checking of Core-Erlang using term rewriting techniques.

  maudeltlrewritingerlangmodelcheckingverification
  Language:Erlang 4

• MonoidalAttackTrees / Lina

  A Haskell EDSL for conducting threat analysis using Attack Trees

  haskell-libraryedslattack-treesthreat-analysisverificationmaudelinalinear-logic
  Language:Haskell 4

• ncaq / sub-maude

  Maude language subset

  maudehaskell
  Language:Haskell 3

• pthariensflame / pygments-maude

  Pygments lexers for Maude, both batch and interactive.

  syntax-highlightingpygments-lexermaude
  Language:Python 3

• SRI-CSL / iopc

  The C infrastructure for the IOP system

  actor-modelactorsmaudejlambda
  Language:C 3

• 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.

  maudemaude-languagejavaproof-theoryproof-automationproof-editorgraphical-user-interface
  Language:Java 2

• demiourgoi / ROS_navfn_verification

  Maude integration and verification for ROS Nav 2

  ros2maudeformal-verificationdafny
  Language:Python 1

• fadoss / maudesmc

  Model checker for Maude systems controlled by strategies

  maudemodel-checkingverification
  Language:C++ 1

• fadoss / multivesta-maude

  Maude simulator for MultiVeSta

  maudesimulatonstatistical-analysis
  Language:Python 1

• frnlpz / MFI

  Maude exercises for MFI (UPV)

  maude
  Language:C 1

• memoriasIT / Formal-Methods-Specification

  Formal Methods Specification to model the "Lamport Bakery" using an invented language

  formalmaudemethodsspecification
  1

• ningit / smcview

  Graphical interface and graph generator for the Maude strategy model checker

  maudemodel-checkingverification
  Language:Go 1

• shchae7 / raft_maude

  Maude model of Raft Algorithm

  maudemaude-languageraftraft-algorithm
  1

• ajayeeralla / BSM

  Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.

  maude-languagemaude
  0

• canhminhdo / spec-based

  Specification-based Testing Concurrent Java Programs with JPF and Maude

  testingconcurrent-programsjavamaudejpfparalell-algorithm
  Language:Java 0

• fadoss / maude2lean

  Maude to Lean translator

  leanmaudetheorem-proving
  Language:Lean 0

• fadoss / snarrow

  Narrowing with strategies in Maude

  maudenarrowingstrategies
  Language:Python 0

• ROBINADC / Formal-Semantics-for-OpenFlow

  A formal semantics framework for OpenFlow networks implemented in Maude 3.1

  mauderewriting-systemopenflowfirewall-bypass
  0

• skneko / strass

  Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language

  maudesafetyprogram-transformationformal-methodsrewriting-system
  Language:Svelte 0

• ajayeeralla / Unification_ACh

  We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.

  maude-languagemaude

• gorkinovich / ACF

  Auditoría, Calidad y Fiabilidad (UCM, 2015)

  maudedeclarative-programmingexercises

• gorkinovich / Selene

  System to use model-checking in languages with concurrent programing using message passing

  maudedeclarative-programming

• jiriklepl / NTIN043

  Repo for assignments on NTIN043 (Formal Foundations of Software Engineering)

  mff-uknot-interesting-for-anybodymaudealloy
  Language:Alloy

• katrielalex / confluin

  confluin does confluence checks for Tamarin input files

  confluenceterm-rewritingtamarin-provermaudemuterm
  Language:Python

• StevenMaude / stevenmaude.github.io

  My blog; https://www.stevenmaude.co.uk

  golanglinuxmaudepythonstevenubuntuwindows
  Language:HTML

• taktoa / maude

  This repository contains the Maude 2 interpreter source tree.

  maudeinterpreterfork
  Language:C++