Back to Results
First PageMeta Content
Computer programming / Loop invariant / Termination analysis / Invariant / For loop / Infinite loop / Algorithm / Software engineering / Computing / Control flow


Loop summarization and termination analysis? Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M. Wintersteiger2 , and Daniel Kroening2 1 Formal Verification and Security Group, University of Lugano, Switzerland
Add to Reading List

Document Date: 2011-01-11 17:53:38

Open Document

File Size: 337,70 KB

Share Result on Facebook

City

Cambridge / /

Company

Computing Laboratory / LoopFrog 1 244 / Microsoft / /

Country

Switzerland / United Kingdom / /

Facility

Oxford University / University of Lugano / /

IndustryTerm

possible solution / relation synthesis algorithm / presented loop summarization algorithm / summarization algorithm / transition systems / real-time benchmark suite / /

OperatingSystem

Ubuntu / Microsoft Windows / /

Organization

Microsoft Software Engineering Innovation Foundation / Oxford University / Swiss National Science Foundation / U.S. Securities and Exchange Commission / University of Lugano / /

Person

Christoph M. Wintersteiger / /

/

Position

Windows Device Driver / Goto-CC model extractor / /

ProgrammingLanguage

C / /

Technology

adpcm / jpeg / Terminator algorithm / ranking relation synthesis algorithm / Single-loop / known algorithm / previously presented loop summarization algorithm / summarization algorithm / /

URL

http /

SocialTag