Re: Certifiable code

From: Douglas W. Jones <jones_at_cs_dot_uiowa_dot_edu>
Date: Tue Aug 31 2004 - 15:24:29 CDT

On Aug 31, 2004, at 3:09 PM, Karl Auerbach wrote:

>
> We must soon squarely face the question "How does one write code and
> build systems that can pass certification?"

Look for an upcoming report from the Computer Science and Technology
Board of the National Acadamies on this problem. The web page of the
study committee is:

   http://www7.nationalacademies.org/cstb/project_dependable.html
   CSTB Project: Sufficient Evidence? Building Certifiably Dependable
Systems

                Doug Jones
                jones@cs.uiowa.edu
==================================================================
= The content of this message, with the exception of any external
= quotations under fair use, are released to the Public Domain
==================================================================
Received on Tue Aug 31 23:17:22 2004

This archive was generated by hypermail 2.1.8 : Tue Aug 31 2004 - 23:17:23 CDT