10038 search results - page 180 / 2008 » Model Checking for Managers |
123
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
138
click to vote
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
131
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
138
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...