Model checking of hazardous gas ventilation system