Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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