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 Kovács and Nikolaj Bjorner (editors). WING 2010. Workshop on Invariant Generation 2010, vol 1, pages 185--186
|