2661 search results - page 16 / 533 » Model Checking Performability Properties |
101
click to vote
FSTTCS
2010
Springer
15 years 11 days ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
110
Voted
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
140
click to vote
IFM
2010
Springer
15 years 26 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 ...
130
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
143
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...