Proceedings First Workshop on Logics and Model-checking for Self-* Systems

TL;DR

This workshop proceedings presents recent research on applying formal methods, especially logics and model checking, to self-adaptive and reconfigurable systems, aiming to advance the verification of complex autonomous systems.

Contribution

It compiles recent advancements in formal verification techniques tailored for self-* systems, fostering collaboration between researchers and practitioners.

Findings

Enhanced logics for self-adaptive systems

New model-checking approaches for reconfigurable systems

Case studies demonstrating applicability of formal methods

Abstract

This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of September 2014, and was a satellite event of iFM 2014 (the 11th International Conference on Integrated Formal Methods). The workshop focuses on demonstrating the applicability of Formal Methods on modern complex systems with a high degree of self-adaptivity and reconfigurability, by bringing together researchers and practitioners with the goal of pushing forward the state of the art on logics and model checking.