Function Summaries in Software Upgrade Checking | Formal Verification and Security Lab

Publication Type:

Conference Proceedings

Authors:

Fedyukovich, G.; Sery, O.; Sharygina, N.

Source:

Haifa Verification Conference (HVC), Springer, Volume 7261, Haifa, Israel (2011)

Notes:

Extended abstract. To appear at the poster session

BibTex

@proceedings { fss2012,
	title = {Function Summaries in Software Upgrade Checking},
	volume = {7261},
	year = {2011},
	note = {Extended abstract. To appear at the poster session},
	publisher = {Springer},
	address = {Haifa, Israel},
	author = {Grigory Fedyukovich and  Ondrej Sery and  Natasha Sharygina}
}

Attachment	Size
HVC2011_paper.pdf	106.06 KB
HVC2011_slides.pdf	1.07 MB