Only intervals Pascal Cuoq on 26 August 2011
More often than is good for me, I find someone on the internet saying something to the effect that \Frama-C only does intervals". Sadly I think I see what they mean. they may be of the school of thought that static analysis is abstract interpretation so that although Frama-C is...
Read More