Process algebra for event-driven runtime verification: a case study of wireless network management

Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi: 10.1007/978-3-642-30729-4)

[img] Text



Runtime verification is analysis based on information extracted from a running system. Traditionally this involves reasoning about system states, for example using trace predicates. We have been investigating runtime verification for event-driven systems and in that context we propose a higher level of abstraction can be useful, namely reasoning at the level of user-perceived system events. And when considering events, then the natural formalism for verification is a form of process algebra.

Item Type:Articles
Additional Information:The original publication is available at
Glasgow Author(s) Enlighten ID:Sevegnani, Dr Michele and Calder, Professor Muffy
Authors: Calder, M., and Sevegnani, M.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Copyright Holders:Copyright © 2012 Springer
First Published:First published in Lecture Notes in Computer Science 7321(2012):21-23
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
478101Homework: Shaping future user centred domestic infrastructuresJoseph SventekEngineering & Physical Sciences Research Council (EPSRC)EP/F064225/1School of Computing Science