Verified Page Of

reldef:blvh:verified_page_of

blvh verified page of — a page-level correspondence confirmed by an explicit verification operation.