Reo2PVS: Formal Specification and Verification of Component Connectors

M. Saqib Nawaz, Meng Sun 0002. Reo2PVS: Formal Specification and Verification of Component Connectors. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 391-390, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]

Abstract

Abstract is missing.