Symbolic verification of web crawler functionality and its properties


Now a days people use search engines every now and then to retrieve documents from the Web. Web crawling is the process by which a search engine gather pages from the Web to index them and support a search engine. Web crawlers are the heart of search engines. Web crawlers continuously keep on crawling the web and find any new web pages that have been added… (More)

7 Figures and Tables


  • Presentations referencing similar topics