Compositional Verification using Model Checking and Theorem Proving

Diego Marmsoler. Compositional Verification using Model Checking and Theorem Proving. In Wolfgang Böhm 0002, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, editors, Model-Based Engineering of Collaborative Embedded Systems. pages 305-314, Springer, 2021. [doi]

Abstract

Abstract is missing.