The following is a list of case studies done in Maude. Each project page provides:

• Overview and purpose of the case study
• Maude specifications
• Samples for execution scenarios and runs
• Strategies
• References to related papers

• Cryptographic Protocol Specification and Analysis
• Reliable Broadcast Protocol for Active Networks
• CCS operational semantics and Hennessy-Milner modal logic
• An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0