Decision problems in a logic for reasoning about reconfigurable distributed systems

DOI10.1007/978-3-031-10769-6_40OpenAlexW4289104065MaRDI QIDQ2104556

Marius Bozga, Radu Iosif, Lucas Bueri

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2202.09637

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Verification of component-based systems with recursive architectures

Uses Software

• Reo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Configuration logics: modeling architecture styles
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• A graph transformation approach to software architecture reconfiguration
• Resources, concurrency, and local reasoning
• Checking deadlock-freedom of parametric component-based systems
• Unifying decidable entailments in separation logic with inductive definitions
• Views
• Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
• A Marriage of Rely/Guarantee and Separation Logic
• The Logic of Bunched Implications
• Decidability of Parameterized Verification
• Parameterized Systems in BIP: Design and Model Checking
• A decision procedure for satisfiability in separation logic with inductive predicates
• When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
• Reo: a channel-based coordination model for component composition
• On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning

This page was built for publication: Decision problems in a logic for reasoning about reconfigurable distributed systems