Quality Verification Tools for Quality Software