Refinement-based synthesis of correct contract model decompositions

Thi Thieu Hoa Le, Roberto Passerone. Refinement-based synthesis of correct contract model decompositions. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 134-143, IEEE, 2014. [doi]

Abstract

Abstract is missing.