1. Balakrishnan G, Reps TW (2006) Recency-abstraction for heap-allocated storage. In: Yi K (ed) Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29–31, 2006, Proceedings, LNCS, vol 4134, pp 221–239. Springer. https://doi.org/10.1007/11823230_15
2. Blazy S, Bühler D, Yakobowski B (2017) Structuring abstract interpreters through state and value abstractions. In: Bouajjani A, Monniaux D (eds) Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15–17, Proceedings, Lecture notes in computer science, vol 10145, pp 112–130. Springer (2017). https://doi.org/10.1007/978-3-319-52234-0_7
3. Bonichon R, Cuoq P (2011) A mergeable interval map. Stud Inform Univ 9(1):5–37. https://rbonichon.github.io/papers/rangemaps-jfla11.pdf
4. Bühler D (2017) Structuring an abstract interpreter through value and state abstractions: EVA, an evolved value analysis for frama-C. (Structurer un interpréteur abstrait au moyen d’abstractions de valeurs et d’états : Eva, une analyse de valeur évoluée pour Frama-C). PhD thesis, University of Rennes 1, France. https://tel.archives-ouvertes.fr/tel-01664726
5. Bühler D, Cuoq P, Yakobowski B (2023) The Eva Plug-In. http://frama-c.com/download/frama-c-eva-manual.pdf