The Formal Methods / AI Convergence

COO and VP Partnerships, Jason Fox reflects on the convergence between formal methods and AI which has led to the US Government requiring formal methods foundations as part of future software procurement. Read the full white paper here: