Compositional Verification using Model Checking and Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Diego Marmsoler' in Google

runs on WebDSL