RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.
Souha Ben RayanaMarius BozgaSaddek BensalemJacques CombazPublished in: TACAS (2016)
Keyphrases
- real time
- real time systems
- management system
- neural network
- control system
- telecommunication systems
- asynchronous circuits
- formal methods
- computing systems
- complex systems
- low cost
- face recognition
- learning systems
- database systems
- software tools
- computer vision
- artificial intelligence
- genetic algorithm
- information retrieval
- databases