A methodology is presented for summarizing the voluminous results of Monte-Carlo simulations of a chemical plant and translating them into qualitative behavior trees, which can then be checked systematically for interesting behavior using Computation Tree Logic. The technique is useful for the verification of the safety and reliability of proposed plant and controller designs and handles broad classes of uncertainty in the plant, controller, and disturbances. The method is demonstrated to work well on a simulated styrene polymerization reactor.