225 search results - page 12 / 45 » Cluster-Based LTL Model Checking of Large Systems |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
FSTTCS
2006
Springer
13 years 11 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 ...
FORTE
2010
13 years 9 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer