Real-time Maude 2.1

Peter Csaba Ölveczky, José Meseguer

Research output: Contribution to journalArticlepeer-review


Real-Time Maude 2.1 is an extension of Full Maude 2.1 supporting the formal specification and analysis of real-time and hybrid systems. Symbolic simulation, search and model checking analysis are supported for a wide range of systems. This paper gives an overview of the tool and documents its semantic foundations.

Original languageEnglish (US)
Pages (from-to)285-314
Number of pages30
JournalElectronic Notes in Theoretical Computer Science
Issue numberSPEC. ISS.
StatePublished - Jan 20 2005
Externally publishedYes


  • Formal analysis
  • Model checking
  • Object-oriented specification
  • Real-time systems
  • Rewriting logic
  • Simulation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Real-time Maude 2.1'. Together they form a unique fingerprint.

Cite this