Microsoft Research
Microsoft Translator |
Loop summarization using state and transition invariants

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

main.pdf
PDF file

In  Formal Methods in System Design

Publisher  Springer

Details

TypeArticle
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Loop summarization using state and transition invariants