And then they'd need to be able to verify that the code actually meets these requirements. That might even necessitate specifying these requirements in some sort of a formal language...
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies: