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.
Love makes the world go 'round, with a little help from intrinsic angular momentum.