Scalable and scope-bounded software verification in Varvel

Aarti Gupta
Sriram Sankaranarayanan
Naoto Maeda
Takashi Imoto
Rakesh Pothengil
Mustafa Hussain
Automated Software Engineering (2014)

Abstract