299 search results - page 40 / 60 » Model Checking of Real-Time Reachability Properties Using Ab... |
129
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
132
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
140
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
136
click to vote
IFM
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
110
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...