Back to Results
First PageMeta Content
Computer programming / Logic in computer science / Program analysis / Abstract interpretation / Static program analysis / Astrée / Formal verification / Runtime verification / Programming language / Software engineering / Computing / Formal methods


Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022
Add to Reading List

Document Date: 2006-07-12 15:17:59

Open Document

File Size: 48,17 KB

Share Result on Facebook

City

New York / Paris / Los Altos / /

Company

Prentice-Hall Inc. / ACM Press / Arnaud Venet Kestrel Technology LLC / /

Country

France / /

/

Facility

Kestrel Institute / /

IndustryTerm

fixpoint algorithms / large software systems / static analysis tools / abstract interpretation algorithms / certified software / flight mission software / static analysis algorithms / few critical applications / assurance systems / flight software / authentication protocols / software properties / /

MarketIndex

case 000 / /

Organization

Kestrel Institute / National Aeronautics and Space Administration / /

Person

Allen Goldberg / Eric Bush / Klaus Havelund / Doug Smith / /

Position

translator / non-specialist / unified lattice model for static analysis / engineer / /

ProgrammingLanguage

AWK / php / AspectJ / C / /

ProvinceOrState

New York / California / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

authentication protocols / static analysis algorithms / CodeHawk technology / analysis algorithms / abstract interpretation algorithms / /

URL

http /

SocialTag