Back to Results
First PageMeta Content
Loop invariant / Logic / Interpretation / Function / Symbol / Limit / Μ operator / Mathematics / Model theory / Control flow


Noname manuscript No. (will be inserted by the editor) Loop Summarization using State and Transition Invariants Daniel Kroening · Natasha Sharygina ·
Add to Reading List

Document Date: 2012-10-23 07:45:17

Open Document

File Size: 572,52 KB

Share Result on Facebook

City

Cambridge / /

Company

Phonak AG / Microsoft / /

Country

United Kingdom / /

Facility

UK N. Sharygina University of Lugano / Termination D. Kroening University of Oxford / Italy A. Tsitovich University of Lugano / /

IndustryTerm

loop summarization algorithm / bottom-up summarization algorithm / static analysis tools / summarization algorithm / real applications / /

OperatingSystem

Microsoft Windows / /

Organization

Italy A. Tsitovich University of Lugano / Termination D. Kroening University of Oxford / Palestine Liberation Organization / UK N. Sharygina University of Lugano / /

Person

Daniel Kroening / Bruno Kessler / Natasha Sharygina / Christoph M. Wintersteiger / /

Position

editor / guard / /

ProgrammingLanguage

FP / /

ProvinceOrState

Louisiana / /

Technology

bottom-up summarization algorithm / The algorithm / loop summarization algorithm / 5 Algorithm / Single-loop / summarization algorithm / /

SocialTag