Reasoning heeft een testtool op de markt gebracht die softwarecode automatisch inspecteert op Jaar 2000-fouten. Reasoning/2000 is de enige inspectietool voor Cobol-software die al is behandeld voor het probleem van de eeuwwisseling. De tool werkt onafhankelijk van de gebruikte herstelsoftware.
Dit zou het eerste softwaregereedschap zijn waarmee een bewijs valt te leveren of een systeem wel of niet gereed is voor de eeuwwisseling. Naast toepassing in Jaar 2000-projecten kan Reasoning/2000 ook gebruikt worden om met zekerheid vast te stellen of software millennium-bestendig is.