http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Fri, 03 Feb 2012 16:13:41 +0000 en hourly 1 http://www.open-do.org/2010/05/10/a-lighter-introduction-to-hi-lite/ http://www.open-do.org/2010/05/10/a-lighter-introduction-to-hi-lite/#comments Mon, 10 May 2010 10:50:39 +0000 Yannick Moy http://www.open-do.org/?p=1330 introduction to Hi-Lite in which we describe the application of the various tools and techniques that are part of Hi-Lite to a very simple program. ]]> http://www.open-do.org/2010/05/10/a-lighter-introduction-to-hi-lite/feed/ 0