Symbolic verification of web crawler functionality and its properties

Abstract

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

Topics

  • Presentations referencing similar topics