Every message he posts will be scrutinised by automated software and human agents.

Unlike complicated automated theorem provers, verification systems may be small enough that their correctness can be checked both by hand and through automated software verification.

In most cases, electronic claims are submitted using an automated software process.

To remove the bottleneck, both automated software that can speed up the processing with improved accuracy and a reliable measure of the accuracy are needed.

The company said that they chose not to use automated software because of the delicate nature of the hand-drawn artwork.