@inproceedings{73b79927073b49f59f1196796da426c9,
title = "Verifying system-wide properties of industrial component-based software",
abstract = "Analytical Software Design (ASD) enables model-based development of component software systems. Until now, functional verification of ASD systems is only possible on a per-component basis. There is no functional verification engine for ASD itself, so this verification relies on a translation of individual components to mCRL2, a process-algebraic model checker. We show how to extend the ASD-mCRL2 translation to support multiple components in order to enable checking of system wide functional properties. With our extended translation, we perform a case-study on a newly developed industrial system consisting of 26 communicating components. The results indicate that it is feasible to model check functional properties on this scale.",
author = "Thomas Neele and M.H. Rol and Groote, {Jan Friso}",
year = "2019",
doi = "10.1007/978-3-030-31517-7_11",
language = "English",
isbn = "978-3-030-31516-0",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "158--175",
editor = "Hossein Hojjat and Mieke Massink",
booktitle = "Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers",
address = "Germany",
note = "FSEN 2019 8th International Conference ; Conference date: 01-05-2019 Through 03-05-2019",
}