Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems - VERIMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems

Marius Bozga
Lucas Bueri
  • Fonction : Auteur
Radu Iosif

Résumé

We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded number of components and interactions, written using a multiplicative conjunction, reminiscent of Bunched Implications [38] and Separation Logic [40]. We study the complexity of the satisfiability and entailment problems for the configuration logic under consideration. Additionally, we consider robustness properties, such as tightness (are all interactions entirely connected to components?) and degree boundedness (is every component involved in a bounded number of interactions?), the latter being an ingredient for decidability of entailments.
Fichier principal
Vignette du fichier
draft.pdf (439.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03750586 , version 1 (12-08-2022)

Identifiants

  • HAL Id : hal-03750586 , version 1

Citer

Marius Bozga, Lucas Bueri, Radu Iosif. Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems. International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel. ⟨hal-03750586⟩
29 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More