Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

15 years 15 days ago

Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J

Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut

AMAST 2006 | Fifo Queues | Software Engineering | Thierry J´eron IRISA/INRIA | Unbounded Fifo Channels |

claim paper

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	AMAST
Authors	Tristan Le Gall, Bertrand Jeannet, Thierry Jéron

Comments (0)