In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification of digital

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 20

Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic o

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented t