• DocumentCode
    1332819
  • Title

    Practical verification of embedded software

  • Author

    Straunstrup, J. ; Andersen, H.R. ; Hulgaard, H. ; Lind-Nielsen, J. ; Behrmann, G. ; Kristoffersen, K. ; Skou, A. ; Leerberg, HH. ; Theilgaard, N.B.

  • Author_Institution
    Dept. of Hydroinformatics, DHI, Horsholm, Denmark
  • Volume
    33
  • Issue
    5
  • fYear
    2000
  • fDate
    5/1/2000 12:00:00 AM
  • Firstpage
    68
  • Lastpage
    75
  • Abstract
    Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC.
  • Keywords
    embedded systems; program verification; compositional backward technique; embedded software verification; industrial applications; personal computer; software components; Airplanes; Application software; Capacitive sensors; Design methodology; Embedded software; Fabrication; Manufacturing industries; Mobile handsets; Runtime; Software testing;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/2.841786
  • Filename
    841786
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1332819