A verification infrastructure uses a verification tool with a user
interface with which a user may interact to verify an application and/or
its platform. The user may enter the same set of commands to verify
instances of the application on different platforms. Furthermore, the
verification tool is data driven in a way that allows the verification
tool to be easily extended to new platforms. Finally, details of a
particular configuration are stored persistently and are used by the
verification tool to perform verification. Thus, much of the complex work
of acquiring knowledge about the configuration and applying the knowledge
to the results of various checks made for verification is performed by
the verification tool and not a human user.