Shenghan Xu and Li Tan. In the proceedings of the INFORMS annual meeting(INFORMS'08). Washington, DC, 2008.

We propose a formal-verification-based approach for evaluating risks in supply chains. The new “push-button” approach improves the efficiency and scalability of risk analysis algorithms by extending decision procedures developed in Computer Science for analyzing large-scale computer-based systems. It enables us to query a rich set of stochastic behaviors of a supply chain using temporal logics. To facilitate formal analysis, we also establish a formal modeling framework for risk analysis of a stochastic supply chain.