KRONOS: A Verification Tool for Real-Time Systems.
Sergio YovinePublished in: Int. J. Softw. Tools Technol. Transf. (1997)
Keyphrases
- real time systems
- object oriented programming language
- architectural model
- real time
- mission critical
- distributed systems
- embedded systems
- timing constraints
- real time database systems
- database
- model checking
- anytime algorithms
- machine learning
- embedded real time systems
- open source
- low cost
- artificial intelligence