Static Analysis Techniques for Robotics Software Verification
- CORTESI, Agostino
- FERRARA P.
- CHAKI N.
Publication date
January 2014
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)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
Add to ORKG