On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study

@inproceedings{Jerad2008OnTU,
  title={On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study},
  author={Chadlia Jerad and Kamel Barkaoui and Amel Grissa-Touzi},
  booktitle={BCS Int. Acad. Conf.},
  year={2008}
}
Real-Time Maude is an executable rewriting logic language particularly well suited for the specification of object-oriented open and distributed real time systems. In this paper we explore the possibility of using Real-Time Maude as a formal notation for software architecture description and verification of real time systems. The system model is composed of… CONTINUE READING