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.
