Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract InterpretationReportar como inadecuado




Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 AbsInt Angewandte Informatik GmbH

Abstract : Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software.





Autor: Reinhold Heckmann - Christian Ferdinand -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados