English Region (Model checking) Cited by user Arthur MILCHIOR on 08 Apr 2019 In model checking, a field of computer science, a region is a convex polytope in