The Community for Technology Leaders
Green Image
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.
INDEX TERMS
program verification, embedded systems,personal computer, embedded software verification, compositional backward technique, industrial applications, software components,Embedded software, Application software, Manufacturing industries, Runtime, Software testing, Capacitive sensors, Fabrication, Mobile handsets, Airplanes, Design methodology
CITATION
J. Straunstrup, H.R. Andersen, H. Hulgaard, J. Lind-Nielsen, G. Behrmann, K. Kristoffersen, A. Skou, HH. Leerberg, N.B. Theilgaard, "Practical verification of embedded software", Computer, vol. 33, no. , pp. 68-75, May 2000, doi:10.1109/2.841786
191 ms
(Ver 3.3 (11022016))