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.
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
De Nicola R;
1989
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_418270-doc_147673.pdf
solo utenti autorizzati
Descrizione: Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.11 MB
Formato
Adobe PDF
|
1.11 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
