Redirecting to https://www.darpa.mil/research/research-spotlights/formal-methods.