601 search results - page 55 / 121 » Model Checking CTL Properties of Pushdown Systems |
158
click to vote
TSE
2011
14 years 8 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
108
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
113
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
100
click to vote
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
104
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...