2661 search results - page 83 / 533 » Model Checking Performability Properties |
169
click to vote
TSE
2011
14 years 9 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...
135
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
134
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
144
Voted
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
124
click to vote
PAMI
2006
15 years 2 months ago
2006
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...