The paper entitled “Reasoning about Distributed Reconfigurable Systems” by Emma Ahrens (RWTH), Marius Bozga (Grenoble), Radu Iosif (Grenoble) and Joost-Pieter Katoen has been accepted for presentation at the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2022) in Auckland, New Zealand. The paper presents a resource-based program logic for (local) reasoning about safety properties of distributed reconfigurable systems.
This is the second paper with an involvement of the MOVES research group at OOPSLA 2022; in the first review round the paper on “Weigthed Programming” by Kevin Batz, Adrian Gallus, Benjamin Kaminski, Joost-Pieter Katoen and Tobias Winkler was accepted.