skip to content
Press cuttings, blog posts and reports from the non-academic world.
Improbable's use of CBMC has
"completely changed the way that we build reliable software"
Paul E. McKenney, Linux kernel developer and RCU maintainer says of CBMC
"strongly recommend that you give it a try!"
eChronos use CBMC to prove the RTOS at the core medical devices is safe
· Last modified: 2016/03/04 19:55 by
Back to top