Building Browser Verification