We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services.
A model-checking tool for families of services
Asirelli P;Ter Beek MH;Gnesi S
2011
Abstract
We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_199878-doc_43879.pdf
solo utenti autorizzati
Descrizione: A model-checking tool for families of services
Tipologia:
Versione Editoriale (PDF)
Dimensione
319.84 kB
Formato
Adobe PDF
|
319.84 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.
