Five ways to use induction and symmetry in the verification of networks of processes by model-checking

Calder, M. and Miller, A. (2002) Five ways to use induction and symmetry in the verification of networks of processes by model-checking. In: Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), April 2002, pp. 29-42.

Full text not currently available from Enlighten.


Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Miller, Dr Alice and Calder, Professor Muffy
Authors: Calder, M., and Miller, A.
College/School:College of Science and Engineering > School of Computing Science

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