Back to Results
First PageMeta Content
Data types / C programming language / Assertion / Debugging / Logic in computer science / Formal methods / Pointer / Model checking / SLAM project / Software engineering / Computer programming / Computing


Document Date: 2013-10-11 06:59:10

Open Document

File Size: 681,63 KB

Share Result on Facebook

City

Lausanne / Surrey / /

Country

United States / /

Event

Man-Made Disaster / /

Facility

Switzerland R. Jhala University of California / Simon Fraser University / C library / USA R. Majumdar University of California / /

IndustryTerm

software engineering / automatic tools / context-free reachability algorithm / Software model checking / predicate-discovery algorithm / interpolation-based predicate-discovery algorithm / refinement algorithm / software model checker / program verification algorithm / Automatic software verification tools / abstract search / software verification tools / model-checking technology / counterexampleanalysis algorithm / automatic verification tool / software testing / counterexample-analysis algorithm / program-transformation tool / /

Organization

University of California / Los Angeles / Simon Fraser University / University of California / San Diego / /

Person

Thomas A. Henzinger / Dirk Beyer / Ranjit Jhala / /

Position

driver for function altInit / software engineer / programmer / /

ProgrammingLanguage

Java / J / C / K / /

ProvinceOrState

British Columbia / California / /

Technology

model-checking technology / predicate-discovery algorithm / counterexample-analysis algorithm / interpolation-based predicate-discovery algorithm / program verification algorithm / Java / counterexampleanalysis algorithm / refinement algorithm / modelchecking algorithm / context-free reachability algorithm / operating system / /

SocialTag