A Model-Checking Tool for Families of Services - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

A Model-Checking Tool for Families of Services


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)

Dates and versions

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





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⟩
27 View
83 Download



Gmail Facebook X LinkedIn More