--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on June 2011 ---
Hello, 2011/6/9 Fran?ois Armand <francois.armand at orange.fr>: > I'm gonna spend some time on this learning curve and will very likely come > back later on If you plan to spent some time on learning Frama-C and especially the Value Analysis, I recommend reading the Frama-C blog. Pascal has made a lot of posts that detail the Value Analysis (amongst other points): http://blog.frama-c.com/ http://blog.frama-c.com/index.php?tag/value Best regards, david