maude-language

There are 5 repositories under maude-language topic.

  • ChristianoBraga/BMaude

    BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.

    Language:Shell2101

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

    Language:Java2100

  • shchae7/raft_maude

    Maude model of Raft Algorithm

    1200

  • ajayeeralla/BSM

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

    0200

  • ajayeeralla/Unification_ACh

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

    20