Hello
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
www.openproofs.org and the link to the bug report is
https://bugzilla.redhat.com/show_bug.cgi?id=564520 so you can browse it for
consideration. If you are interested let me know.
Mark Rader