Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Inverardi P., Nesi M. Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications. In: International Workshop on Automatic Verification Methods for Finite State Systems (Grenoble, France, 12-14 June 1989). Proceedings, vol. 407 pp. 54 - 67. J. Sifakis (ed.). Springer-Verlag, 1989.
An interactive system for proving properties of CCS specifications is described. This system allows users to take advantage off all three views 01 CCS semantics (the transitions, the operationally defined equivalences and the axioms) and to define their own verification strategies for moving from one view to another. The system relies on term rewriting techniques and manipulates only the symbolic representation of specifications without resorting to any other kind of internal representation.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional