A toolsuite for the verification of real-time systems in Eclipse.
Lucía CavatortaGuido de CasoAndrés FerrariVíctor A. BrabermanDiego GarbervetskyNicolas KicillofFernando SchapachnikAlfredo OliveroPublished in: ETX (2006)
Keyphrases
- real time systems
- open source
- real time
- embedded systems
- distributed systems
- model checking
- mission critical
- source code
- real time database systems
- development environments
- timing constraints
- object oriented programming language
- architectural model
- computational intelligence
- anytime algorithms
- dynamic programming
- database systems
- artificial intelligence
- machine learning