Verification of parametric concurrent systems with prioritised FIFO resource management

DOI10.1007/S10703-008-0048-7MaRDI QIDQ2481584zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar

Publication date 11 April 2008

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-008-0048-7

zbMATH Keywords

Cut offFormal verificationInfinite-state system verificationModel checkingParameterised networks of processesParameterised verificationResource sharing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification of parametric concurrent systems with prioritized FIFO resource management.
• scientific article; zbMATH DE number 5175527
• Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems

Cites work

• A Bound on Solutions of Linear Integer Equalities and Inequalities
• A structural induction theorem for processes
• scientific article; zbMATH DE number 1614699 (Why is no real title available?)
• scientific article; zbMATH DE number 1701752 (Why is no real title available?)
• scientific article; zbMATH DE number 2080053 (Why is no real title available?)
• scientific article; zbMATH DE number 1538040 (Why is no real title available?)
• scientific article; zbMATH DE number 2090137 (Why is no real title available?)
• scientific article; zbMATH DE number 2102701 (Why is no real title available?)
• Reasoning about systems with many processes
• Symbolic model checking with rich assertional languages

Cited in

(8)

• Parameterized model checking of networks of timed automata with Boolean guards
• Capacitated automata and systems
• Automated formal analysis and verification: an overview
• Multi-parameterised compositional verification of safety properties
• scientific article; zbMATH DE number 5175527 (Why is no real title available?)
• Verification of Flat FIFO Systems
• Verification of parametric concurrent systems with prioritized FIFO resource management.
• scientific article; zbMATH DE number 7770050 (Why is no real title available?)

This page was built for publication: Verification of parametric concurrent systems with prioritised FIFO resource management

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