Hello<br><br>I have just (mostly) completed a package for review.  The
package is part of the &quot;OpenProofs&quot; project and is called Frama-C.  It
is for the mathematical proof of subroutines and programs.  The website
for the project is <a href="http://www.openproofs.org/" target="_blank">www.openproofs.org</a> and the link to the bug report is   <a href="https://bugzilla.redhat.com/show_bug.cgi?id=564520" target="_blank">https://bugzilla.redhat.com/show_bug.cgi?id=564520</a> so you can browse it for consideration.  If you are interested let me know.  <br>

<br>Mark Rader