Talks and Poster Presentations (with Proceedings-Entry):

N. Elaraby, E. Kühn, A. Messinger, S. Radschek:
"Towards a Hybrid Verification Approach";
Talk: Federation of International Conferences on Software Technologies: Applications and Foundations (STAF 2018), Collocated Workshops: FOCLASA, Toulouse; 2018-06-25 - 2018-06-29; in: "Software Technologies: Applications and Foundations", Springer LNCS, 11176 (2018), ISBN: 978-3-030-04771-9; 367 - 386.

English abstract:
Verification methods have limitations rooted in their methodological approach. Different methods can be more appropriate in verifying some type of properties than others. We propose a "Hybrid Verification" scheme that verifies different properties using different verification methods and supports a unified specification interface, based on a suitable coordination model. Identifying appropriate verification methods for each property to be verified is a necessary prerequisite for this approach. This work introduces a categorization of properties to be verified and a corresponding mapping to suitable verification methods in accordance with and discussing existing literature. A unified modeling methodology for various assertions based on a coordination model is presented. A generic use cases from the railway domain is used to show the applicability of the proposed Hybrid Verification scheme.

System verification, Hybrid verification scheme, Distributed systems, Coordination

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.