48 search results - page 1 / 10 » Model Checking for a Probabilistic Branching Time Logic with... |
DC
1998
13 years 5 months ago
1998
AUSAI
2009
Springer
13 years 12 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
ENTCS
2006
13 years 5 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
TIME
2007
IEEE
13 years 11 months ago
2007
IEEE