1472 search results - page 247 / 295 » On Model Checking Infinite-State Systems |
103
Voted
QEST
2008
IEEE
15 years 8 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...
121
click to vote
TOOLS
2008
IEEE
15 years 8 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...
111
click to vote
IFM
2004
Springer
15 years 7 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...
135
click to vote
HPCA
1998
IEEE
15 years 6 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
129
click to vote
LOGCOM
2008
15 years 1 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...