Verification of parametric concurrent systems with prioritised FIFO resource management

DOI10.1007/s10703-008-0048-7zbMath1138.68464MaRDI 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 checking; Formal verification; Resource sharing; Cut off; Infinite-state system verification; Parameterised networks of processes; Parameterised verification

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item