Issue No. 05 - May (2000 vol. 33)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.841786
J. Straunstrup , Dept. of Hydroinformatics, DHI, Horsholm, Denmark
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.
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
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