15 search results - page 1 / 3 » The Tool KRONOS |
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
RTAS
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
HYBRID
1995
Springer
13 years 8 months ago
1995
Springer
ENTCS
2002
13 years 4 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
ENTCS
2002
13 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...