The article by OOO "Program Verification Systems" experts devoted to our code analysis library VivaCore was published in RSDN Magazine #1' 2008.
You can read the online version of the article at our site.
"RSDN Magazine" has been published since April, 2002. All its content is created by professional programmers and is meant for professional programmers. The editors of the magazine consider that the materials should be profound and not just review-like and be of real use for a programmer in his everyday work. It is the practical use of the materials that the editors consider to be the most important criterion for forming the content of an issue.