4447 search results - page 22 / 890 » Model Checking Games |
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
118
click to vote
JIIS
2008
15 years 3 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
125
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
123
click to vote
SCAM
2009
IEEE
15 years 10 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...