A Model-Checking Tool for Families of Services
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...
