Verification of parametric concurrent systems with prioritised FIFO resource management

DOI10.1007/s10703-008-0048-7zbMath1138.68464OpenAlexW2038221635MaRDI QIDQ2481584

Tomáš Vojnar, Peter Habermehl, Ahmed Bouajjani

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

Model checkingFormal verificationResource sharingCut offInfinite-state system verificationParameterised networks of processesParameterised verification

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)

Related Items (5)

Unnamed Item ⋮ Multi-parameterised compositional verification of safety properties ⋮ Parameterized model checking of networks of timed automata with Boolean guards ⋮ Capacitated automata and systems ⋮ Automated formal analysis and verification: an overview

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A structural induction theorem for processes
• A Bound on Solutions of Linear Integer Equalities and Inequalities
• Reasoning about systems with many processes
• Symbolic model checking with rich assertional languages

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