@inproceedings{05adfaa3d4e74636a00f682dc998ee55,
title = "Compositional verification of real-time applications",
abstract = "To support top-down design of distributed real-time systems, a framework of mixed terms has been incorporated in the verification system PVS. Programs and assertional specifications are treated in a uniform way. We focus on the timed behaviour of parallel composition and hiding, presenting several alternatives for the definition of a denotational semantics. This forms the basis of compositional proof rules for parallel composition and hiding. The formalism is applied to an example of a hybrid system, which also serves to illustrate our ideas on platform-independent programming.",
author = "J.J.M. Hooman",
year = "1998",
doi = "10.1007/3-540-49213-5\_10",
language = "English",
isbn = "3-540-65493-3",
series = "Lecture Notes in Computer Science",
pages = "276--300",
editor = "\{Roever, de\}, W.P. and H. Langmaack and A. Pnueli",
booktitle = "Compositionality : The Significant Difference (Proceedings COMPOS'97, Bad Malente, Germany, September 1997; Revised Lectures)",
}