Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Modeling and Verfiying Dynamic Architectures with FACTum Studio
Collection editors:
Arbab, Farhad; Jongmans, Sung-Shik
Title of conference publication:
Formal Aspects of Component Software
Subtitle of conference publication:
16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
Series title:
Lecture Notes in Computer Science, LNCS
Series volume:
12018
Conference title:
Conference on Formal Aspects of Component Software (16., 2019, Amsterdam)
Venue:
Amsterdam
Year of conference:
2019
Date of conference beginning:
23.10.2019
Date of conference ending:
25.10.2019
Place of publication:
Cham, Switzerland
Publisher:
Springer
Year:
2020
Pages from - to:
243-251
Language:
Englisch
Abstract:
With the emergence of ambient and adaptive computing, dynamic architectures have become increasingly important. Dynamic architectures describe an evolving state space of systems over time. In such architectures, components can appear or disappear, and connections between them can change over time. Due to the evolving state space of
such architectures, verification is challenging. To address this problem, we developed FACTum Studio, a tool that combines model checking and interactive theorem pr... »
ISBN:
978-3-030-40913-5 ; 978-3-030-40914-2
Department:
Fakultät für Informatik
Institute:
INF 4 - Institut für Angewandte Informatik
Chair:
Karcher, Andreas
Open Access yes or no?:
Ja / Yes
BibTeX