Modeling and analysis of complex computer systems-the MTCCS approach

Authors:
H. Toetenel;R. L. Spelberg;S. Stuurman;J. van Katwijk
Affiliations:
-;-;-;-
Venue:
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Year:
1996

Citing 0
Cited 1

Transformation of MTCCS into an extension of timed

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents results from work in progress on finding a method for formal specification and verification of real time concurrent systems that incorporate a non trivial data component. We have extended Timed CCS, a timed CCS variant with a model oriented data language based on VDM. The semantics of the extension, called MTCCS is expressed in a combination of denotational and operational style. We show how verification of temporal logic properties based on symbolic model checking can be made possible for such a combination notation.