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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-21461-5_3 | FMOODS/FORTE |
Keywords | Field | DocType |
modal transition system,on-the-fly verification,temporal operator,classical modal,branching-time temporal logic,deontic interpretation,model-checking tool,behavioural description | Data mining,Model checking,Deontic logic,Theoretical computer science,Software product line,Operator (computer programming),Temporal logic,Product family,Modal,Mathematics | Conference |
Volume | ISSN | Citations |
6722 | 0302-9743 | 13 |
PageRank | References | Authors |
0.58 | 23 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Patrizia Asirelli | 1 | 197 | 26.37 |
Maurice H. ter Beek | 2 | 718 | 62.08 |
Alessandro Fantechi | 3 | 1199 | 103.40 |
Stefania Gnesi | 4 | 1475 | 120.93 |