15 search results - page 1 / 3 » The Tool KRONOS |
FTRTFT
1998
Springer
13 years 10 months ago
1998
Springer
RTAS
1998
IEEE
13 years 10 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 10 months ago
1995
Springer
ENTCS
2002
13 years 6 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 6 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...