Formal verification of the correctness in hybrid expert systems.
Simon C. K. ShiuJames N. K. LiuDaniel S. YeungPublished in: KES (2) (1997)
Keyphrases
- formal verification
- expert systems
- model checking
- model checker
- bounded model checking
- automated verification
- knowledge based systems
- symbolic model checking
- fuzzy logic
- intelligent systems
- hybrid learning
- artificial intelligence
- knowledge base
- program slicing
- functional verification
- neural network
- knowledge engineering
- temporal logic
- software engineering