Text this: Validation methods using formal techniques