485 search results - page 76 / 97 » A Model Checking Approach for Verifying COWS Specifications |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
103
click to vote
CISIS
2009
IEEE
14 years 7 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
101
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
BCS
2008
14 years 11 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
181
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...