Reactive System Validation using Automated Reasoning over a Fragment Library.
Robert J. HallPublished in: ASE (1997)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- decision procedures
- theorem prover
- theorem proving
- probabilistic reasoning
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- pairwise
- prime implicants
- dynamic programming
- special case
- data mining
- neural network