Automated Interface Refinement for Compositional Verification.
Haiqiong YaoHao ZhengPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2009)
Keyphrases
- semi automated
- user interface
- model checking
- refinement process
- decision trees
- fully automated
- verification method
- genetic algorithm
- information systems
- website
- user friendly
- semi automatic
- asynchronous circuits
- formal verification
- signature verification
- human computer interface
- database
- multiscale
- knowledge base
- learning algorithm
- information retrieval
- data sets