Does anyone know of real industrial projects which have used formal proofs to show that an application will work?

I am writing a new computing course and need some examples I can point students to. People talk about using functional programming arguing that it will allow programmers to build formally provable...

03 March 2014 3,106 4 View