Loop summarization using state and transition invariants (Formal Methods in System Design, 2013)

(untitled) - Kroening, D; Sharygina, N; Tonetta, S; al., E