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.frAdd to Reading ListSource URL: www.labri.frDownload Document from Source WebsiteFile Size: 338,93 KBShare Document on Facebook |