Text this: Formal methods for mobile computing