Formal Verification ATPG Search Engine Emulator (Abstract Only).
Gregory FordAswin KrishnaJacob A. AbrahamDaniel G. SaabPublished in: FPGA (2015)
Keyphrases
- formal verification
- search engine
- model checking
- bounded model checking
- web search
- symbolic model checking
- model checker
- web search engines
- information retrieval
- automated verification
- higher level
- high level
- keywords
- program slicing
- query logs
- low level
- search queries
- object oriented
- website
- search result
- software development
- web pages
- artificial intelligence