TEMPEST INC.- > SOFTWARE VERIFICATION. SOFTWARE VERIFICATION TESTING: Finding flaws in software and web sites. When you develop a new piece of software or an internet web site, it is necessary to determine, as much as possible, that it is bug free. This is an inherently tough problem, because it inv...