Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards a Theory of Simulation for Verification of Concurrent Systems

Lookup NU author(s): Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

We here investigate whether it is possible to provide the designer of a concurrent system with a sound and efficient simulation technique enabling reasoning about important behavioural properties of the system. We introduce the notion of a simulation defined as a subset of the possible execution paths generated by the system, and demonstrate that under some conditions the simulation provides a sufficient information to reason about a number of interesting properties of the system. We then show that there always exists a simulation which provides the required behavioural information and involves a minimal computational effort.


Publication metadata

Author(s): Janicki R, Koutny M

Editor(s): Odijk, E., Rem, M., Syre, J.-C.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2nd International Symposium on Parallel Architectures and Languages Europe (PARLE)

Year of Conference: 1989

Pages: 73-88

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-51285-3_34

DOI: 10.1007/3-540-51285-3_34

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540512851


Actions

Link to this publication


Share