KRONOS: a verification tool for real-time systems

• 1 December 1997
• journal article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 1  (1-2) , 123-133
• https://doi.org/10.1007/s100090050009

Abstract

Keywords

• REAL TIME SYSTEMS
• TEMPORAL LOGIC