Indexed Predicate Discovery for Unbounded System Verification.
Shuvendu K. LahiriRandal E. BryantPublished in: CAV (2004)
Keyphrases
- knowledge discovery
- formal verification
- discovery process
- model checking
- scientific discovery
- pattern discovery
- first order logic
- neural network
- search algorithm
- data mining
- relational databases
- evolutionary algorithm
- hidden markov models
- optimal solution
- process model
- bayesian networks
- knowledge base
- information systems
- face verification
- formal methods
- signature verification
- databases