Formal Methods and Tools / JTorX