User Tools

Site Tools


cprover_in_the_wild

Differences

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://​improbable.io/​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://​paulmck.livejournal.com/​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://​linux.conf.au/​schedule/​30141/​view_talk?​day=wednesday]].
  
cprover_in_the_wild.txt ยท Last modified: 2016/03/04 19:55 by mbrain