Specifying Real-Time Systems in Rewriting Logic

Peter Csaba Ölveczky, José Meseguer

Research output: Contribution to journalArticlepeer-review


This work investigates the suitability of rewriting logic as a semantic framework for modeling real-time and hybrid systems. We present a general method to specify and symbolically simulate such systems in rewriting logic and illustrate it with a well-known benchmark. We also show how a wide range of real-time and hybrid system models can be naturally expressed and are unified within our approach. The relationships with timed rewriting logic [9,10] are also investigated.

Original languageEnglish (US)
Pages (from-to)284-309
Number of pages26
JournalElectronic Notes in Theoretical Computer Science
Issue numberC
StatePublished - 1996
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Specifying Real-Time Systems in Rewriting Logic'. Together they form a unique fingerprint.

Cite this