/u/swapwaspspaw's posts in /r/askscience
Can we evaluate / certify the security of a computer network or operating system through an axiomatic system similar to automated theorem proving?
6 upvotes
Mark as read: Add to a list
1 upvotes
Mark as read: Add to a list