Display options
Cite
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., ... & Rival, X. (2002). Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In The essence of computation (pp. 85-108). Springer, Berlin, Heidelberg.
Blanchet, Bruno, et al. "Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software." The essence of computation. Springer, Berlin, Heidelberg, 2002. 85-108.
Copy Download .nbib Format: MLA
Share it on
Full text links
View full text

B Blanchet, P Cousot, R Cousot, J Feret… - The essence of …, 2002 - Springer

Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software.

program design

Blanchet, Cousot, Feret

GSID: 81KOHJmdVnAJ

Excerpt

… By handling a family of programs and not only a single program or model of the program, we cope with the evolution over years … Design of a Special-Purpose Static Program Analyzer In this paper, we report on a first experience on the design of a special-purpose static program …

Similar articles

Cited by