In this paper we present an equalional approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.
Equational reasoning about LOTOS specifications: A rewriting approach
1991-01-01
Abstract
In this paper we present an equalional approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_449284-doc_161991.pdf
solo utenti autorizzati
Descrizione: Equational reasoning about lotos specifications : a rewriting approach
Tipologia:
Versione Editoriale (PDF)
Dimensione
562.51 kB
Formato
Adobe PDF
|
562.51 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
