Browsing: Functional Verification