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.
| Origin | Files produced by the author(s) |
|---|
Loading...
