4341 search results - page 270 / 869 » Quantitative Model checking |
99
Voted
JCS
2002
15 years 24 days ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
118
Voted
ICASSP
2010
IEEE
14 years 8 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
110
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
119
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
107
Voted
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...