Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

DOI10.1007/11784180_17zbMATH Open1236.68017OpenAlexW1480673006MaRDI QIDQ3623935FDOQ3623935

Thierry Jéron, Tristan Le Gall, Bertrand Jeannet

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_17

Recommendations

• scientific article; zbMATH DE number 2080915
• Using forward reachability analysis for verification of lossy channel systems
• scientific article; zbMATH DE number 2102702
• Verification, Model Checking, and Abstract Interpretation
• Verifying programs with unreliable channels

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Cited In (3)

• Verification of Flat FIFO Systems
• Guessing the Buffer Bound for k-Synchronizability
• Verifying Communication Protocols Using Live Sequence Chart Specifications

This page was built for publication: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

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