Loop summarization using state and transition invariants

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger

Details

Publication typeArticle
Published inFormal Methods in System Design
Pages221-261
Volume42
Number3
PublisherSpringer
> Publications > Loop summarization using state and transition invariants