Scalable and scope-bounded software verification in Varvel

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain. Scalable and scope-bounded software verification in Varvel. Automated Software Engineering, 22(4):517-559, 2015. [doi]

Abstract

Abstract is missing.