Practical Verification of Embedded Software

By Jørgen Staunstrup et. al.

In Computer, may 2000.

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 1000 components-in a few minutes on a standard PC.

[BiBTeX entry]