AZOUZ, Salima (2024) Exploration Formelle de la Stabilité des Algorithmes Numériques dans les Systèmes Embarqués PRE - Research Project, ENSTA.
![]()
| PDF 513Kb |
Abstract
This document presents a detailed analysis of complex numerical algorithms, emphasizing the use of abstract and symbolic domains to ensure their stability and reliability. We propose a structured methodology to model, analyze, implement, and validate these algorithms, using abstract interpretation tools to verify inductive invariants. This approach ensures that the algorithms operate correctly under all possible conditions, making critical embedded systems more robust.
Item Type: | Thesis (PRE - Research Project) |
---|---|
Uncontrolled Keywords: | Formal Verification - Algorithm Stability - Abstract Domain - Generic Model - Symbolic Domain |
Subjects: | Information and Communication Sciences and Technologies |
ID Code: | 10075 |
Deposited By: | Salima AZOUZ |
Deposited On: | 02 sept. 2024 17:35 |
Dernière modification: | 02 sept. 2024 17:35 |
Repository Staff Only: item control page