Back to Results
First PageMeta Content
Contract law / Patrick Cousot / Abstract interpretation / Computer arithmetic / Printf format string / Caron / Implied warranty / Floating point / ALGOL 68 / Software engineering / Computing / Computer programming


Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology
Add to Reading List

Document Date: 2005-05-14 12:51:08

Open Document

File Size: 959,61 KB

Share Result on Facebook

City

Paris / /

Company

PROGRAM IS / NEC / Microsoft / P. Cousot Software / HEREBY DISCLAIM / /

Currency

USD / /

Facility

Notre-Dame-de-Lorette métro station / /

IndustryTerm

software validation methods / Manual software validation methods / software licence / open software licence / software teams / software failure / /

Organization

Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics / Massachusetts Institute of Technology / /

Person

Patrick Cousot Jerome / /

Position

driver / huge Text editor / bugs Text editor / /

Product

scud / Patriot missile / /

ProgrammingLanguage

C / /

Technology

Operating system / /

URL

www.di.ens.fr/~cousot / www.mit.edu/~cousot / /

SocialTag