A Computer-Aided Verification Tool for Finite State Controller Systems.
Mark BickfordMandayam K. SrivasPublished in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
- computer aided
- finite state
- model checking
- design tools
- markov chain
- cad systems
- computer aided diagnosis
- markov decision processes
- computer aided design
- process planning
- image analysis
- diagnosis of breast cancer
- neural network
- capsule endoscopy
- formal verification
- policy iteration
- formal methods
- optimal policy
- object oriented
- expert systems
- natural language
- pattern recognition
- image processing