Loop summarization using state and transition invariants

TitleLoop summarization using state and transition invariants
Publication TypeJournal Article
Year of Publication2013
AuthorsKroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M.
JournalFormal Methods in System Design
Volume42
ISSN0925-9856
Full Text