A Model-Checking Tool for Families of Services - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2011

A Model-Checking Tool for Families of Services

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.
Fichier principal
Vignette du fichier
978-3-642-21461-5_3_Chapter.pdf (1.92 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01583318 , version 1 (07-09-2017)

Licence

Attribution

Identifiers

Cite

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. A Model-Checking Tool for Families of Services. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.44-58, ⟨10.1007/978-3-642-21461-5_3⟩. ⟨hal-01583318⟩
29 View
91 Download

Altmetric

Share

Gmail Facebook X LinkedIn More