Intrinsic Technologies secures software with AI-powered formal verification.