Text this: Formal methods tool qualification /