Formal Verification of Pure Production System Programs.
Rose F. GambleGruia-Catalin RomanWilliam E. BallPublished in: AAAI (1991)
Keyphrases
- production system
- formal verification
- program slicing
- model checking
- model checker
- bounded model checking
- multistage
- production process
- symbolic model checking
- production rules
- multiprocessor architecture
- certainty factor
- production line
- automated verification
- control structure
- simulation software
- mixed model assembly
- knowledge base
- lot streaming
- production rate
- knowledge based systems