Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving

Marmsoler, Diego (2019): Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. Software Engineering and Software Management 2019. DOI: 10.18420/se2019-52. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-686-2. pp. 167-169. Poster. Stuttgart, Germany. 18.-22. Februar 2019