| Document Date: 2007-07-02 03:28:12
Open Document File Size: 115,78 KBShare Result on Facebook
City Tokyo / Shanghai / San Francisco / Puebla / Los Angeles / Barcelona / San Antonio / Edinburg / Montreal / London / San Diego / Paris / / Company TASE / ACM Press / IEEE Comp / / Country France / United States / United Kingdom / / / IndustryTerm Poor software quality / large safety-critical software / aerospace applications / physical devices / industrial applications / control command/applications / telecommunications / earth transportation / less critical applications / safety-critical real-time embedded software / larger and larger computer applications / software quality / nuclear energy / technology contribution / avionics software verification cost-effectiveness / software intensive applications / hard real-time avionics software / software verification / / Organization Information Society / / Person Proc / Neil D. Jones / / Position editor / simple abstract interpreter / unified lattice model for static analysis / / ProgrammingLanguage C / Simulink / / ProvinceOrState Texas / California / / Technology ESA / / URL http /
SocialTag |
Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code Patrick Cousot École normale supérieure, 45 rue d’Ulm, 75230 Paris cedex 05, France , www.di.ens.fr/ cousot