Verification of Orchestration Systems Using Compositional Partial Order Reduction

Tian Huat Tan, Yang Liu 0003, Jun Sun 0001, Jin Song Dong. Verification of Orchestration Systems Using Compositional Partial Order Reduction. In Shengchao Qin, Zongyan Qiu, editors, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Volume 6991 of Lecture Notes in Computer Science, pages 98-114, Springer, 2011. [doi]

Abstract

Abstract is missing.