Text this: Program Verification Using ADA