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]

@incollection{Marmsoler21,
  title = {Compositional Verification using Model Checking and Theorem Proving},
  author = {Diego Marmsoler},
  year = {2021},
  doi = {10.1007/978-3-030-62136-0_16},
  url = {https://doi.org/10.1007/978-3-030-62136-0_16},
  researchr = {https://researchr.org/publication/Marmsoler21},
  cites = {0},
  citedby = {0},
  pages = {305-314},
  booktitle = {Model-Based Engineering of Collaborative Embedded Systems},
  editor = {Wolfgang Böhm 0002 and Manfred Broy and Cornel Klein and Klaus Pohl and Bernhard Rumpe and Sebastian Schröck},
  publisher = {Springer},
  isbn = {978-3-030-62135-3},
}