Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.

Tristan Le Gall Bertrand Jeannet Thierry Jéron Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. 204-219 2006 conf/amast/2006 AMAST http://dx.doi.org/10.1007/11784180_17 db/conf/amast/amast2006.html#GallJJ06