Loop summarization using state and transition invariants
Additional information
Authors
Kröning D.,
Sharygina N.,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M.
Type
Journal Article
Year
2013
Language
English
Journal
Formal Methods in System Design
Volume
42
Number ( Month )
3
Pages (or article number)
221-261
