According to this article.
http://www.fool.com/investing/general/2012/04/11/the-government-surrenders-to-a-new-it-paradigm.aspx
Consumer Financial Protection Bureau pledges to publish the source code
to all software it builds or contracts out for others to build.
Code review is good for security as well as formal methods! Not to mention,
I believe in many cases the public should be able to review what they are
paying for.
brian
--
Brian Lavender
http://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
_______________________________________________
vox mailing list
vox@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox