Keyword:loop invariants

Publications
Algebra-based Synthesis of Loops and their Invariants Andreas Humenberger and Laura Kovács EasyChair Preprint 4946
Loopfrog — loop summarization for static analysis Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich and Christoph M. Wintersteiger In:WING 2010. Workshop on Invariant Generation 2010