@conference {194,
	title = {VERIGE: Verification with Invariant Generation Engine},
	booktitle = {SPIN},
	year = {2014},
	publisher = {ACM},
	organization = {ACM},
	author = {Latorre, N. and Francesco Alberti and Natasha Sharygina}
}
