Tag Archives: nitrogen

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