http://critical.eschertech.com/2011/10/24/escher-c-verifier-released/2011-10-24T09:31:24+00:00monthlyhttp://critical.eschertech.com/2011/09/08/verifying-programs-that-use-function-pointers/2011-09-20T11:06:53+00:00monthlyhttp://critical.eschertech.com/2010/02/19/using-strongly-typed-booleans-in-c-and-c/2011-06-13T09:04:18+00:00monthlyhttp://critical.eschertech.com/2010/02/22/the-taming-of-the-pointer-part-2/2011-06-13T09:02:21+00:00monthlyhttp://critical.eschertech.com/2010/02/23/reasoning-about-null-terminated-strings-in-cc/2011-06-13T09:00:39+00:00monthlyhttp://critical.eschertech.com/2010/02/26/using-constrained-types-in-c/2011-06-13T08:57:53+00:00monthlyhttp://critical.eschertech.com/2010/05/26/specification-with-ghost-functions/2011-06-13T08:52:59+00:00monthlyhttp://critical.eschertech.com/2010/03/01/using-unicode-in-embedded-software/2011-06-13T08:51:20+00:00monthlyhttp://critical.eschertech.com/2010/03/03/how-unsafe-is-pointer-arithmetic/2011-06-13T08:49:46+00:00monthlyhttp://critical.eschertech.com/2010/12/12/verifying-programs-that-use-sizeof/2011-06-13T08:42:09+00:00monthlyhttp://critical.eschertech.com/2010/03/09/safer-arrays-using-a-c-array-class/2011-06-13T08:39:57+00:00monthlyhttp://critical.eschertech.com/2010/03/12/using-and-abusing-unions/2011-06-13T08:23:38+00:00monthlyhttp://critical.eschertech.com/2010/03/18/making-sure-variables-are-initialized/2011-06-13T08:17:10+00:00monthlyhttp://critical.eschertech.com/2010/03/22/verifying-loops-in-c/2011-06-13T08:14:59+00:00monthlyhttp://critical.eschertech.com/2010/03/29/verifying-loops-part-2/2011-06-13T08:12:35+00:00monthlyhttp://critical.eschertech.com/2010/03/31/verifying-loops-proving-termination/2011-07-02T08:04:23+00:00monthlyhttp://critical.eschertech.com/2010/04/07/danger-unsigned-types-used-here/2011-06-13T08:08:13+00:00monthlyhttp://critical.eschertech.com/2010/04/27/what-are-you-trying-to-prove/2011-06-13T08:07:10+00:00monthlyhttp://critical.eschertech.com/2010/05/05/verifying-a-binary-search/2011-06-13T08:06:10+00:00monthlyhttp://critical.eschertech.com/2010/05/06/verifying-a-binary-search-part-2/2011-06-13T08:02:53+00:00monthlyhttp://critical.eschertech.com/2010/05/24/expressing-the-inexpressible/2011-06-13T07:59:26+00:00monthlyhttp://critical.eschertech.com/2010/06/07/verifying-absence-of-integer-overflow/2011-06-13T07:53:44+00:00monthlyhttp://critical.eschertech.com/2010/06/22/aliasing-and-how-to-control-it/2011-06-13T07:51:10+00:00monthlyhttp://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/2011-06-13T07:49:05+00:00monthlyhttp://critical.eschertech.com/2010/07/16/verifying-pointer-arithmetic/2011-06-13T07:48:30+00:00monthlyhttp://critical.eschertech.com/2010/07/30/dynamic-memory-allocation-in-critical-embedded-systems/2011-06-13T07:47:46+00:00monthlyhttp://critical.eschertech.com/2010/09/06/arc-is-now-ecv/2011-06-13T07:46:55+00:00monthlyhttp://critical.eschertech.com/2010/12/20/ecv-beta-1-released/2011-06-13T07:44:35+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/17/taming-pointers-in-cc/2010-07-17T12:58:26+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/2011-08-03T18:27:57+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.02011-10-24T09:31:24+00:00