Refining Interface Alphabets for Compositional Verification.
Mihaela GheorghiuDimitra GiannakopoulouCorina S. PasareanuPublished in: TACAS (2007)
Keyphrases
- model checking
- user interface
- visual interface
- signature verification
- formal verification
- database
- user friendly
- computer interface
- human machine interface
- verification method
- graphical interface
- high speed
- graphical user interface
- natural language interface
- asynchronous circuits
- high security
- hidden markov models
- pairwise
- decision trees