690 search results - page 17 / 138 » Testing Temporal Logic Properties in Distributed Systems |
145
Voted
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
119
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
138
Voted
FORMATS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
122
Voted
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
125
Voted
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...