We overview the main semantics-based static analysis techniques for software verification: Data-flow analysis, Control-flow Analysis, Model Checking, and Abstract Interpretation. The complexity of control software, lying at the core of robotic systems, and the intensive use of numeric values pose several challenges for the formal verification of either functional or non-functional properties.
Static Analysis Techniques for Robotics Software Verification
CORTESI, Agostino;FERRARA P.;
2014-01-01
Abstract
We overview the main semantics-based static analysis techniques for software verification: Data-flow analysis, Control-flow Analysis, Model Checking, and Abstract Interpretation. The complexity of control software, lying at the core of robotic systems, and the intensive use of numeric values pose several challenges for the formal verification of either functional or non-functional properties.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
robotics2013.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Accesso chiuso-personale
Dimensione
489 kB
Formato
Adobe PDF
|
489 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
