3224 search results - page 162 / 645 » On Checking Model Checkers |
119
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
107
Voted
FORTE
2010
15 years 5 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
114
Voted
ENTCS
2008
15 years 3 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
128
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...