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
J. Straunstrup et al., "Practical verification of embedded software," in Computer, vol. 33, no. 5, pp. 68-75, .