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
fDate :
5/1/2000 12:00:00 AM
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;
