TART: Timed-Automata to Real-Time Java Tool.
Niusha HakimipourPaul A. StrooperAndy J. WellingsPublished in: SEFM (2010)
Keyphrases
- real time
- timed automata
- real time systems
- object oriented programming language
- reachability analysis
- databases
- java programs
- model checking
- source code
- open source
- vision system
- lightweight
- low cost
- object oriented
- control system
- database applications
- data acquisition
- theorem prover
- state space
- reinforcement learning
- knowledge base