A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Kronos: A model-checking tool for real-time systems
[chapter]
1998
Lecture Notes in Computer Science
Kronos 8, 10, 7, 11, 20, 16, 4, 3, 9] is a software tool aiming at assisting designers of real-time systems to develop projects meeting the speci ed requirements. One major objective of Kronos is to provide a veri cation engine to be integrated into design environments for real-time systems in a wide range of application areas. Real-time communication protocols 8,10], timed asynchronous circuits 16,4], and hybrid systems 18,10] are some examples of application domains where Kronos has already
doi:10.1007/bfb0028779
fatcat:gpoixmbvnzf2jniwj47jowci2y