Back to Results
First PageMeta Content
Formal methods / Extended static checking / Software testing / Model checking / Abstract interpretation / Static program analysis / Loop invariant / Software verification / C / Software engineering / Computing / Computer programming


Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford,
Add to Reading List

Document Date: 2010-01-17 07:46:25

Open Document

File Size: 104,28 KB

Share Result on Facebook

City

Trento / /

Company

Computing Laboratory / Yourdon Press / MIT Press / Intel / /

Country

Switzerland / Italy / United Kingdom / /

Facility

Oxford University / University of Lugano / Computer Systems Institute / /

IndustryTerm

build systems / software engineering / software sources / static analysis tools / automatic bug-finding tool / software projects / largescale software / summarization algorithm / software model checkers / wellknown static analysis tools / large-scale opensource software / software verification / embedded control software / /

Organization

MIT / Computer Systems Institute / Oxford University / Swiss National Science Foundation / University of Lugano / /

Person

L OOPFROG / Natasha Sharygina / Christoph M. Wintersteiger / Bruno Kessler / /

Position

model / model extractor / http /

ProgrammingLanguage

L / R / /

Technology

RAM / dns / summarization algorithm / /

URL

http /

SocialTag