I would think that you'd want to write it in a language such that it could be easily verified as doing what it's supposed to. What do you mean by “robust enoug

I would think that you'd want to write it in a language such that it could be easily verified as doing what it's supposed to. What do you mean by “robust enough to be used by a government”?