Results 1 -
1 of
1
The Tool KRONOS
- In Proc. of Hybrid Systems III, LNCS 1066
, 1996
"... KRONOS [6, 8] is a tool developed with the aim to assist the user to validate complex real-time systems. The tool checks whether a real-tinae system modeled by a timed automaton [4] satisfies a timing property specified by a formula of the temporal logic TCTL [3]. KRONOS implements the symbolic mode ..."
Abstract
-
Cited by 220 (39 self)
- Add to MetaCart
KRONOS [6, 8] is a tool developed with the aim to assist the user to validate complex real-time systems. The tool checks whether a real-tinae system modeled by a timed automaton [4] satisfies a timing property specified by a formula of the temporal logic TCTL [3]. KRONOS implements the symbolic model-checking
