Real-Time and Embedded System Verification Based on Formal Requirements.
Benjamin FontanLudovic ApvrillePierre de Saqui-SannesJean-Pierre CourtiatPublished in: IES (2006)
Keyphrases
- real time
- real time systems
- formal methods
- databases
- model checking
- control system
- neural network
- image processing
- general purpose
- mathematical theory
- formal specification
- artificial intelligence
- face verification
- requirements specification
- timing constraints
- formal language
- functional requirements
- high fidelity
- formal analysis
- data mining
- user requirements
- machine learning
- low cost
- information retrieval
- computer vision