Back to Results
First PageMeta Content
Computing / Nonassociative algebra / Loop invariant / Abstract interpretation / Group theory / Invariant / For loop / Model checking / Infinite loop / Software engineering / Control flow / Computer programming


L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland
Add to Reading List

Document Date: 2011-03-25 19:46:35

Open Document

File Size: 63,77 KB

Share Result on Facebook

City

Trento / /

Company

Daniel Kroening Oxford University Comp / /

Country

Switzerland / /

Facility

UK Aliaksei Tsitovich University of Lugano / Italy Christoph M. Wintersteiger Computer Systems Institute / Switzerland Natasha Sharygina Stefano Tonetta University of Lugano / /

IndustryTerm

loop summarization algorithm / /

Organization

Switzerland Natasha Sharygina Stefano Tonetta University of Lugano / Italy Christoph M. Wintersteiger Computer Systems Institute / UK Aliaksei Tsitovich University of Lugano / Oxford University / /

Person

Christoph M. Wintersteiger / /

Position

straight-forward / candidate for some loop invariant / guard / /

ProgrammingLanguage

L / /

Technology

loop summarization algorithm / /

URL

www.verify.inf.usi.ch/loopfrog / /

SocialTag