| Document Date: 2008-11-03 13:00:36 Open Document File Size: 48,17 KBShare 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 |