High Level Verification of Control Intensive Systems Using Predicate Abstraction.
Edmund M. ClarkeOrna GrumbergMuralidhar TalupurDong WangPublished in: MEMOCODE (2003)
Keyphrases
- high level
- complex systems
- distributed systems
- low level
- management system
- automated verification
- expert systems
- higher level
- optimal control
- lower layers
- data mining
- process automation
- operating environment
- multimodal biometrics
- control strategies
- adaptive control
- model checking
- retrieval systems
- intelligent systems
- multi agent systems
- search algorithm
- decision making
- learning algorithm