Text this: Leveraging applications of formal methods :