PaperTypestate verification: Abstraction techniques and complexity resultsJ. Field, D. Goyal, et al.Science of Computer Programming
Conference paperVerifying safety properties using separation and heterogeneous abstractionsEran Yahav, G. RamalingamPLDI 2004