References
- [1]
-
B. Jeannet and W. Serwe.
Abstracting call-stacks for interprocedural verification of
imperative programs.
In Int. Conf. on Algebraic Methodology and Software
Technology, AMAST'04, volume 3116 of LNCS, July 2004.
- [2]
-
Bertrand Jeannet.
Relational interprocedural analysis of concurrent programs.
Technical Report 6671, INRIA, October 2008.
- [3]
-
A. Miné.
Domaines numériques abstraits faiblement relationnels (Weakly
relational numerical abstract domains).
PhD thesis, École Normale Supérieure de Paris, 2004.
PDF.