Maude
From MaRDI portal
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
- Maude: specification and programming in rewriting logic
- Towards Maude 2. 0
Cited in
(only showing first 100 items - show all)- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- HasCasl: integrated higher-order specification and program development
- A rewriting logic approach to operational semantics
- Strong and NV-sequentiality of constructor systems
- Termination of narrowing revisited
- On linear logic planning and concurrency
- Operational termination of conditional term rewriting systems
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy
- Model-checking user behaviour using interacting components
- Conditional rewriting logic as a unified model of concurrency
- ACL2
- COSTA
- HasCasl
- KeY-C
- AToMPM
- Sequoia
- ROSMonitoring
- Marathon 2
- Ott
- OCL2AC
- pyModelChecking
- SEViz
- Romeo
- Timed rewriting logic with an application to object-based specification
- PRISM
- Typed generic traversal with term rewriting strategies
- Klava
- Lutess
- Stratego
- Jakarta
- Kronos
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
- CLEAN
- Bio-PEPA
- Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings
- veriSoft
- mCRL2
- SciNapse
- MoDeST
- Algebraic models of correctness for abstract pipelines.
- FoCs
- CoFI
- TinkerType
- ArchJava
- MetaKlaim
- JavaFAN
- VerICS
- AlPiNA
- ASSET
- LARCH
- GOLOG
- DIEGO
- ELAN
- CASL
- ITP/OCL
- YAPA
- LOTOS
- HOL/SPIN
- MOTOR
- E-LOTOS
- BABEL
- ANTLR
- KARO
- ATERM
- AVISPA
- TAMPR
- IF-2.0
- POOL
- CLOS
- CCSL
- TRAM
- SPIN
- PVS
- Dynamic connectors for concurrency
- VIATRA2
- Haskell
- ELAN from a rewriting logic point of view
- Reflection in conditional rewriting logic
- Logical foundations of CafeOBJ
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Specification of real-time and hybrid systems in rewriting logic
- A Maude specification of an object-oriented model for telecommunication networks
- Actor theories in rewriting logic
- Equational rules for rewriting logic
- A formal approach to object-oriented software engineering
- Rewriting logic: Roadmap and bibliography
- Maria
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- ECCE
- StateFlow
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
- Automatic synthesis of logical models for order-sorted first-order theories
- CoopnBuilder
- Renew
- YAWL
- Petruchio
- Inferring safe Maude programs with ÁTAME
- AGG
- A formal proof generator from semi-formal proof documents
This page was built for software: Maude
