Browsing: Model checking