This paper discusses a formal semantics for an existent event-action system, Yeast, developed at AT&T Bell Laboratories. Yeast is a good case study for the use of (true-concurrent) semantic techniques since causal dependence among events, concurrency, nondeterminism and conflicting behaviour of specifications can all be modeled in Yeast. We discuss the use of the formalization in the verification of correctness of real Yeast applications with respect to various properties.
Yeast: A case study for a practical use of formal methods
1993
Abstract
This paper discusses a formal semantics for an existent event-action system, Yeast, developed at AT&T Bell Laboratories. Yeast is a good case study for the use of (true-concurrent) semantic techniques since causal dependence among events, concurrency, nondeterminism and conflicting behaviour of specifications can all be modeled in Yeast. We discuss the use of the formalization in the verification of correctness of real Yeast applications with respect to various properties.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_413199-doc_145460.pdf
solo utenti autorizzati
Descrizione: Yeast : a case study for a practical use of formal methods
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.85 MB
Formato
Adobe PDF
|
2.85 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.
