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 - Analog signal processing - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-10-07 07:54:24		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 Source URL: www.labri.fr Download Document from Source Website File Size: 338,93 KB Share Document on Facebook