Verification of component-based systems with recursive architectures

DOI10.1016/j.tcs.2022.10.022OpenAlexW4307724000MaRDI QIDQ2699967

Marius Bozga, Radu Iosif, Joseph Sifakis

Publication date: 20 April 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

parameterized verificationresource logiccomponent-based distributed systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• MONA

Cites Work

• Unnamed Item
• Unnamed Item
• Configuration logics: modeling architecture styles
• Resources, concurrency, and local reasoning
• Reasoning about networks with many identical finite state processes
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• Tree-Walking Automata
• Structural properties of petri nets
• Reasoning about systems with many processes
• Decidability of Parameterized Verification
• Parameterized Systems in BIP: Design and Model Checking
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Automata theory and its applications
• Symbolic model checking with rich assertional languages

This page was built for publication: Verification of component-based systems with recursive architectures