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.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/hal-01583318
Contributor : Hal Ifip <>
Submitted on : Thursday, September 7, 2017 - 11:10:17 AM
Last modification on : Tuesday, July 31, 2018 - 4:58:01 PM

File

978-3-642-21461-5_3_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Patrizia Asirelli, Maurice 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⟩

Share

Metrics

Record views

37

Files downloads

62