7 References

• [Apron] Apron project, http://apron.cri.ensmp.fr/library/
• [Cousot&Cousot,79] P. Cousot and R. Cousot, Systematic Design of Program Analysis Frameworks, POPL'79
• [Fixpoint] B. Jeannet, http://pop-art.inrialpes.fr/people/bjeannet/bjeannet-forge/fixpoint/index.html
• [Frama-C] http://www.frama-c.com/