User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

cprover_in_the_wild [2016/03/04 19:55] (current)
mbrain created
Line 1: Line 1:
 +Press cuttings, blog posts and reports from the non-academic world.
 +  * Improbable'​s use of CBMC has [[http://​​2016/​03/​04/​automatic-race-condition-detector|"​completely changed the way that we build reliable software"​]].
 +  * Paul E. McKenney, Linux kernel developer and RCU maintainer says of CBMC [[http://​​38997.html|"​strongly recommend that you give it a try!"​]].
 +  * eChronos use CBMC to prove the RTOS at the core medical devices is safe [[https://​​schedule/​30141/​view_talk?​day=wednesday]].
cprover_in_the_wild.txt ยท Last modified: 2016/03/04 19:55 by mbrain