• DocumentCode
    681608
  • Title

    Static analysis techniques for robotics software verification

  • Author

    Cortesi, Agostino ; Ferrara, P. ; Chaki, Nabendu

  • Author_Institution
    Univ. Ca Foscari, Venice, Italy
  • fYear
    2013
  • fDate
    24-26 Oct. 2013
  • Firstpage
    1
  • Lastpage
    6
  • 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.
  • Keywords
    control engineering computing; data flow analysis; program verification; robot programming; abstract interpretation; control software complexity; control-flow analysis; data-flow analysis; formal verification; functional properties; model checking; nonfunctional properties; robotics software verification; semantics-based static analysis technique; Abstracts; Automata; Computer languages; Model checking; Semantics; Software; Abstract Interpretation; Formal Verification; Robotics Software; Static Analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Robotics (ISR), 2013 44th International Symposium on
  • Conference_Location
    Seoul
  • Type

    conf

  • DOI
    10.1109/ISR.2013.6739742
  • Filename
    6739742
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=681608