Download PDFOpen PDF in browserLOOPUS - A Tool for Computing Loop Bounds for C Programs2 pages•Published: June 22, 2012AbstractWe describe the current state of our tool LOOPUS which computes loop bounds for C programs.Keyphrases: disjunctive invariants, loop bounds, program analysis, termination, transitive closure In: Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors). WING 2010. Workshop on Invariant Generation 2010, vol 1, pages 185-186.
|