1463 search results - page 246 / 293 » Model Checking Implicit-Invocation Systems |
100
click to vote
STACS
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
117
click to vote
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
107
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
126
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Modeling and recognizing landmarks at world-scale is a
useful yet challenging task. There exists no readily available
list of worldwide landmarks. Obtaining reliable visual
mode...