Features in Frama-C Nitrogen, part 1 Pascal Cuoq on 14 October 2011
Here is a series of posts that highlight interesting features in the recently released Frama-C Nitrogen 20111001. There is new functionality in Nitrogen, that we hope will entice both existing and prospective users. Other improvements yet will only have meaning for existing users. I will start off with two items...
Read More