Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software-Reference-Cited by-同舟云学术

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

Published:2002 Issue: Volume: Page:85-108
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Blanchet Bruno,Cousot Patrick,Cousot Radhia,Feret Jérôme,Mauborgne Laurent,Miné Antoine,Monniaux David,Rival Xavier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36377-7_5

Reference17 articles.

1. Lect Notes Comput Sci;J.-R. Abrial,1998

2. American National Standards Institute, Inc. IEEE standard for binary floatingpoint arithmetic. Technical Report 754-1985, ANSI/IEEE, 1985. http://grouper.ieee.org/groups/754/ .

3. P. R. Bevington and D. K. Robinson. Data Reduction and Error Analysis for the Physical Sciences. McGraw-Hill, 1992.

4. P. Cousot. The Marktoberdorf’98 generic abstract interpreter. http://www.di.ens.fr/~cousot/Marktoberdorf98.shtml , Nov. 1998.

5. Lect Notes Comput Sci;P. Cousot,2000

Cited by 84 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers;International Journal on Software Tools for Technology Transfer;2024-07-29

2. Template-Based Verification of Array-Manipulating Programs;Lecture Notes in Computer Science;2024

3. Maximal Quantified Precondition Synthesis for Linear Array Loops;Lecture Notes in Computer Science;2024

4. Weakest Precondition Inference for Non-Deterministic Linear Array Programs;Lecture Notes in Computer Science;2024

5. Formal Runtime Error Detection During Development in the Automotive Industry;Lecture Notes in Computer Science;2023-12-30