Verification of embedded software: Problems and perspectives

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Computer aided formal methods have been very successful for the verification or at least enhanced debugging of hardware. The cost of correction of a hardware bug is huge enough to justify high investments in alternatives to testing such as correctness verification. This is not the case for software for which bugs are a quite common situation which can be easily handled through online updates. However in the area of embedded software, errors are hardly tolerable. Such embedded software is often safety-critical, so that a software failure might create a safety hazard in the equipment and put human life in danger. Thus embedded software verification is a research area of growing importance. Present day software verification technology can certainly be useful but is yet too limited to cope with the formidable challenge of complete software verification. We highlight some of the problems to be solved and envision possible abstract interpretation based static analysis solutions.

Original languageEnglish (US)
Title of host publicationEmbedded Software - 1st International Workshop, EMSOFT 2001, Proceedings
EditorsThomas A. Henzinger, Christoph M. Kirsch
PublisherSpringer Verlag
Number of pages17
ISBN (Print)3540426736, 9783540426738
StatePublished - 2001
Event1st International Workshop on Embedded Software, EMSOFT 2001 - Tahoe City, United States
Duration: Oct 8 2001Oct 10 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other1st International Workshop on Embedded Software, EMSOFT 2001
Country/TerritoryUnited States
CityTahoe City

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Verification of embedded software: Problems and perspectives'. Together they form a unique fingerprint.

Cite this