Checking deadlock-freedom of parametric component-based systems

DOI10.1007/978-3-030-17465-1_1zbMATH Open1527.68022MaRDI QIDQ6091402FDOQ6091402

Authors: Marius Bozga, Radu Iosif, Joseph Sifakis 

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Recommendations

• Checking deadlock-freedom of parametric component-based systems
• A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
• Verification of component-based systems with recursive architectures
• Deadlock-freedom in component systems with architectural constraints
• The pursuit of deadlock freedom

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Cited In (5)

• Computing parameterized invariants of parameterized Petri nets
• Verification of component-based systems with recursive architectures
• Title not available (Why is that?)
• An Expressive Framework for Verifying Deadlock Freedom
• Deadlock-freedom in component systems with architectural constraints

This page was built for publication: Checking deadlock-freedom of parametric component-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091402)