Tools get formal methods into practice