Maude
From MaRDI portal
- 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)- ACL2
- COSTA
- HasCasl
- KeY-C
- Ott
- Romeo
- PRISM
- Klava
- Lutess
- Jakarta
- Kronos
- CLEAN
- Bio-PEPA
- Stratego
- mCRL2
- MoDeST
- FoCs
- CoFI
- SciNapse
- ArchJava
- MetaKlaim
- JavaFAN
- veriSoft
- AlPiNA
- ASSET
- DIEGO
- LARCH
- GOLOG
- ELAN
- CASL
- TinkerType
- VerICS
- ITP/OCL
- BABEL
- ANTLR
- E-LOTOS
- LOTOS
- HOL/SPIN
- MOTOR
- ATERM
- YAPA
- AVISPA
- KARO
- CLOS
- CCSL
- IF-2.0
- POOL
- Haskell
- PVS
- TAMPR
- TRAM
- SPIN
- VIATRA2
- Maria
- ECCE
- 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
- AProVE
- Mumbo
- STEXIDE
- Augur 2
- Tyrolean
This page was built for software: Maude
