Modular analysis of numerical properties by abstract interpretation / Analyse modulaire de propriétés numériques par interprétation abstraite
👁 4 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Modular analysis of numerical properties by abstract interpretation / Analyse modulaire de propriétés numériques par interprétation abstraite. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Modular analysis of numerical properties by abstract interpretation / Analyse modulaire de propriétés numériques par interprétation abstraite. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
Any software bug or device malfunction in safety-critical systems can have catastrophicconsequences. The validation and analysis of programs in critical systems is of paramountimportance to guarantee that the software satisfies its specification and that it is devoidedof runtime errors.Static program analysis by abstract interpretation computes a sound approximationof the set of reachable states of a program. It discovers invariant properties of programswhich are represented by elements of an ab...