Checking deadlock-freedom of parametric component-based systems

DOI10.1007/978-3-030-17465-1_1MaRDI QIDQ6091402zbMATH OpenFDO

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)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Computing parameterized invariants of parameterized Petri nets
• Verification of component-based systems with recursive architectures
• scientific article; zbMATH DE number 7314999 (Why is no real title available?)
• 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)