Practical verification of embedded software
J. Straunstrup, Henrik Rasmus Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Gerd Behrmann, Kirsten Kristoffersen, Arne Skou, HH. Leerberg, N.B. Theilgaard · Computer · 2000
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.