http://critical.eschertech.com Formal verification of C/C++ code for critical systems Mon, 24 Oct 2011 09:31:25 +0000 en hourly 1 http://wordpress.com/ http://0.gravatar.com/blavatar/2d9ea17580af79aa98fdb5a69e5d2f3b?s=96&d=http%3A%2F%2Fs2.wp.com%2Fi%2Fbuttonw-com.png http://critical.eschertech.com http://critical.eschertech.com/2011/10/24/escher-c-verifier-released/ http://critical.eschertech.com/2011/10/24/escher-c-verifier-released/#comments Mon, 24 Oct 2011 09:29:54 +0000 davidcrocker http://critical.eschertech.com/?p=604 ]]> http://critical.eschertech.com/2011/10/24/escher-c-verifier-released/feed/ 0 davidcrocker http://critical.eschertech.com/2011/09/08/verifying-programs-that-use-function-pointers/ http://critical.eschertech.com/2011/09/08/verifying-programs-that-use-function-pointers/#comments Thu, 08 Sep 2011 14:03:10 +0000 davidcrocker http://critical.eschertech.com/?p=565 ]]> http://critical.eschertech.com/2011/09/08/verifying-programs-that-use-function-pointers/feed/ 0 davidcrocker http://critical.eschertech.com/2010/12/20/ecv-beta-1-released/ http://critical.eschertech.com/2010/12/20/ecv-beta-1-released/#comments Mon, 20 Dec 2010 16:44:52 +0000 davidcrocker http://critical.eschertech.com/?p=527 ]]> http://critical.eschertech.com/2010/12/20/ecv-beta-1-released/feed/ 2 davidcrocker http://critical.eschertech.com/2010/12/12/verifying-programs-that-use-sizeof/ http://critical.eschertech.com/2010/12/12/verifying-programs-that-use-sizeof/#comments Sun, 12 Dec 2010 16:57:14 +0000 davidcrocker http://critical.eschertech.com/?p=522 ]]> http://critical.eschertech.com/2010/12/12/verifying-programs-that-use-sizeof/feed/ 0 davidcrocker http://critical.eschertech.com/2010/09/06/arc-is-now-ecv/ http://critical.eschertech.com/2010/09/06/arc-is-now-ecv/#comments Mon, 06 Sep 2010 16:17:51 +0000 davidcrocker http://critical.eschertech.com/?p=516 ]]> http://critical.eschertech.com/2010/09/06/arc-is-now-ecv/feed/ 0 davidcrocker http://critical.eschertech.com/2010/07/30/dynamic-memory-allocation-in-critical-embedded-systems/ http://critical.eschertech.com/2010/07/30/dynamic-memory-allocation-in-critical-embedded-systems/#comments Fri, 30 Jul 2010 13:49:55 +0000 davidcrocker http://critical.eschertech.com/?p=509 ]]> http://critical.eschertech.com/2010/07/30/dynamic-memory-allocation-in-critical-embedded-systems/feed/ 2 davidcrocker http://critical.eschertech.com/2010/07/16/verifying-pointer-arithmetic/ http://critical.eschertech.com/2010/07/16/verifying-pointer-arithmetic/#comments Fri, 16 Jul 2010 17:31:13 +0000 davidcrocker http://critical.eschertech.com/?p=455 ]]> http://critical.eschertech.com/2010/07/16/verifying-pointer-arithmetic/feed/ 4 davidcrocker http://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/ http://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/#comments Wed, 07 Jul 2010 16:28:41 +0000 davidcrocker http://critical.eschertech.com/?p=436 ]]> http://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/feed/ 4 davidcrocker http://critical.eschertech.com/2010/06/22/aliasing-and-how-to-control-it/ http://critical.eschertech.com/2010/06/22/aliasing-and-how-to-control-it/#comments Tue, 22 Jun 2010 11:22:53 +0000 davidcrocker http://critical.eschertech.com/?p=420 ]]> http://critical.eschertech.com/2010/06/22/aliasing-and-how-to-control-it/feed/ 4 davidcrocker http://critical.eschertech.com/2010/06/07/verifying-absence-of-integer-overflow/ http://critical.eschertech.com/2010/06/07/verifying-absence-of-integer-overflow/#comments Mon, 07 Jun 2010 16:44:39 +0000 davidcrocker http://critical.eschertech.com/?p=364 ]]> http://critical.eschertech.com/2010/06/07/verifying-absence-of-integer-overflow/feed/ 2 davidcrocker