http://critical.eschertech.com/2010/09/06/arc-is-now-ecv/2010-09-06T16:17:51+00:00monthlyhttp://critical.eschertech.com/2010/07/16/verifying-pointer-arithmetic/2010-07-30T15:09:15+00:00monthlyhttp://critical.eschertech.com/2010/07/30/dynamic-memory-allocation-in-critical-embedded-systems/2010-08-04T17:55:01+00:00monthlyhttp://critical.eschertech.com/2010/02/05/invariants-for-cc-classes-and-structs/2010-07-17T12:59:52+00:00monthlyhttp://critical.eschertech.com/2010/02/22/the-taming-of-the-pointer-part-2/2010-07-17T12:58:38+00:00monthlyhttp://critical.eschertech.com/2010/02/17/taming-pointers-in-cc/2010-07-17T12:58:26+00:00monthlyhttp://critical.eschertech.com/2010/02/19/using-strongly-typed-booleans-in-c-and-c/2010-07-17T12:57:14+00:00monthlyhttp://critical.eschertech.com/2010/02/23/reasoning-about-null-terminated-strings-in-cc/2010-07-17T12:55:09+00:00monthlyhttp://critical.eschertech.com/2010/02/26/using-constrained-types-in-c/2010-07-17T12:54:34+00:00monthlyhttp://critical.eschertech.com/2010/03/01/using-unicode-in-embedded-software/2010-07-17T12:53:57+00:00monthlyhttp://critical.eschertech.com/2010/03/09/safer-arrays-using-a-c-array-class/2010-07-17T12:53:27+00:00monthlyhttp://critical.eschertech.com/2010/03/03/how-unsafe-is-pointer-arithmetic/2010-07-17T12:53:10+00:00monthlyhttp://critical.eschertech.com/2010/03/18/making-sure-variables-are-initialized/2010-07-17T12:50:47+00:00monthlyhttp://critical.eschertech.com/2010/03/12/using-and-abusing-unions/2010-07-17T12:50:09+00:00monthlyhttp://critical.eschertech.com/2010/03/22/verifying-loops-in-c/2010-07-17T12:48:10+00:00monthlyhttp://critical.eschertech.com/2010/03/31/verifying-loops-proving-termination/2010-07-17T12:47:49+00:00monthlyhttp://critical.eschertech.com/2010/03/29/verifying-loops-part-2/2010-07-17T12:47:36+00:00monthlyhttp://critical.eschertech.com/2010/06/22/aliasing-and-how-to-control-it/2010-07-17T12:46:32+00:00monthlyhttp://critical.eschertech.com/2010/04/07/danger-unsigned-types-used-here/2010-07-18T08:15:06+00:00monthlyhttp://critical.eschertech.com/2010/04/27/what-are-you-trying-to-prove/2010-07-17T12:43:50+00:00monthlyhttp://critical.eschertech.com/2010/05/05/verifying-a-binary-search/2010-07-17T12:43:24+00:00monthlyhttp://critical.eschertech.com/2010/05/06/verifying-a-binary-search-part-2/2010-07-17T12:42:00+00:00monthlyhttp://critical.eschertech.com/2010/05/24/expressing-the-inexpressible/2010-07-17T12:41:42+00:00monthlyhttp://critical.eschertech.com/2010/06/07/verifying-absence-of-integer-overflow/2010-07-17T12:41:21+00:00monthlyhttp://critical.eschertech.com/2010/05/26/specification-with-ghost-functions/2010-07-17T12:40:30+00:00monthlyhttp://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/2010-07-13T15:22:03+00:00monthlyhttp://critical.eschertech.com/about/2010-05-08T09:04:24+00:00weekly0.6http://critical.eschertech.com/2010/02/02/which-is-better-for-critical-software-c-or-c/2010-02-19T13:57:56+00:00monthlyhttp://critical.eschertech.com/2010/01/31/hello-from-david-crocker/2010-02-19T09:40:51+00:00monthlyhttp://critical.eschertech.com/2010/02/04/using-c-classes-to-achieve-encapsulation/2010-03-13T08:47:27+00:00monthlyhttp://critical.eschertech.com/2010/02/11/safer-explicit-type-conversion/2010-03-13T08:51:37+00:00monthlyhttp://critical.eschertech.com/2010/02/12/more-reasons-why-c-can-be-safer-than-c/2010-02-19T09:39:15+00:00monthlyhttp://critical.eschertech.com/daily1.02010-09-06T16:17:51+00:00