Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre - FIFO - Document - PDFSEARCH.IO

First Page	Meta Content
	Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre}@labri.fr Add to Reading List Document Date: 2016-10-07 07:54:24 Open Document File Size: 338,93 KB Share Result on Facebook

Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre}@labri.frAdd to Reading List