swMATH6233MaRDI QIDQ18367FDOQ18367
Author name not available (Why is that?)
Official website: https://maude.cs.illinois.edu/wiki/The_Maude_System
Source code repository: https://github.com/maude-lang/Maude
- Maude: specification and programming in rewriting logic
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
- Towards Maude 2. 0
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
Cited In (only showing first 100 items - show all)
- HasCasl
- FoCs
- CASL
- CoopnBuilder
- AGG
- Petruchio
- Renew
- StateFlow
- SLMC
- YAWL
- LETOS
- Uppaal
- OBJ3
- Rascal
- HOL-OCL
- CIRC
- CafeOBJ
- Jason
- Saoithin
- Reo
- Cadmium
- 2APL
- Casper
- ProVerif
- UTP2
- Timbuk
- GHC
- CoMA
- ProMoVer
- 2OBJ
- BPEL2oWFN
- COWS
- PORGY
- Hets
- Agapia
- Rodin
- Erlang
- Pex
- Orc
- Z2sal
- CBabel
- Ptolemy
- MMT
- VESTA
- TRACER
- AProVE
- Mumbo
- STEXIDE
- Augur 2
- Tyrolean
- BioShape
- MultiVeStA
- Pirlo
- PMaude
- PVeStA
- PAGODA
- Reoservice
- Gauss
- Flow Caml
- Curry
- Giotto
- LUSTRE
- Kima
- Kernel-LEAF
- Pict
- Polyp
- Creol
- CheckVML
- GC
- KLAIM
- LIME
- Linda
- GROOVE
- Multilisp
- Veriflog
- TeaBag
- OFMC
- Rebeca
- SATMC
- scyther
- ChC 3
- CSI
- CRC 3
- jEdit
- Joeq
- HI-maude
- K tool
- K-Maude
- MFE
- MIO Workbench
- ITP
- MTT
- SLAyer
- SCC
- Viptos
- Verics
- VMC
- Sparkle
- VIDEAS
- MTSA
This page was built for software: Maude
