Scalable specification mining for verification and diagnosis.
Wenchao LiAlessandro ForinSanjit A. SeshiaPublished in: DAC (2010)
Keyphrases
- formal verification
- asynchronous circuits
- web mining
- formal methods
- model checking
- protocol specification
- high level
- fault diagnosis
- sequential patterns
- medical diagnosis
- data mining
- knowledge discovery
- specification language
- sequential pattern mining
- automatic diagnosis
- clinically relevant
- medical diagnostic
- formal specification
- multiple faults
- attention deficit hyperactivity disorder
- memory efficient
- model based diagnosis
- data mining applications
- lightweight
- data mining techniques
- knowledge base