Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

14 years 3 months 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)