A New Verification Rule and Its Applications.
J. C. HuangPublished in: IEEE Trans. Software Eng. (1980)
Keyphrases
- model checking
- rule sets
- verification method
- rule discovery
- production rules
- classification rules
- information systems
- rule generation
- signature verification
- data sets
- knowledge discovery
- error rate
- petri net
- hidden markov models
- special case
- relational databases
- case study
- formal methods
- rule learning
- decision making
- formal verification
- asynchronous circuits
- false acceptance rate