Loop summarization using state and transition invariants
Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.Volume:
42
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-012-0176-y
Date:
June, 2013
File:
PDF, 1.14 MB
english, 2013