Comment Proof Engineering (Score 2) 123
The seL4 guys have been creating tools and techniques to do this and they're utilised in the seL4 formally proved micro-kernel.
Proof Engineering Considered Essential
YouTube will remove music videos by artists such as Adele, Arctic Monkeys and Radiohead, because the independent labels to which they belong have refused to agree terms with the site.
Whoever wrote that summary clearly has an agenda.
Never buy what you do not want because it is cheap; it will be dear to you. -- Thomas Jefferson