This shows you the differences between two versions of the page.
cprover_in_the_wild [2016/03/04 19:55] (current)
|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]].|