Formal methods as a path toward better cybersecurity Tim Carstens and David Forscey Tuesday, June 23, 2020