“And e’er the twain shall meet.” Say hello to our Formal Methods engineers. “I need to talk to you about […]