Yeah SPARK ADA is what I meant :)

I think formal verification is the way to go with AI moving forward.