Verification of embedded control programs.
Thao DangBertrand JeannetRomain TestylierPublished in: ECC (2013)
Keyphrases
- website
- control structures
- control system
- control program
- embedded systems
- micro controller
- control method
- information systems
- control strategies
- robot control
- databases
- web services
- model checking
- data acquisition
- data sets
- process control
- learning algorithm
- information retrieval
- verification method
- symbolic execution