Request For Reviewer

Mark Rader msrader at
Sun May 9 13:57:23 UTC 2010


I have just (mostly) completed a package for review.  The package is part of
the "OpenProofs" project and is called Frama-C.  It is for the mathematical
proof of subroutines and programs.  The website for the project is and the link to the bug report is so you can browse it for
consideration.  If you are interested let me know.

Mark Rader
-------------- next part --------------
An HTML attachment was scrubbed...

More information about the devel mailing list