Detection of Security Vulnerabilities Using Guided Model Checking

Publication Type:

Conference Paper

Authors:

Tsitovich, A.

Source:

24th International Conference on Logic Programming (ICLP), Springer, Volume 5366, Udine, Italy, p.822 - 823 (2008)

The original publication is available at www.springerlink.com

Notes:

Extended abstract

BibTex

@inproceedings { ICLP08Tsitovich,
	title = {Detection of Security Vulnerabilities Using Guided Model Checking},
	booktitle = {24th International Conference on Logic Programming (ICLP)},
	volume = {5366},
	year = {2008},
	note = {Extended abstract},
	pages = {822 - 823},
	publisher = {Springer},
	organization = {Springer},
	address = {Udine, Italy},
	URL = {http://dx.doi.org/10.1007/978-3-540-89982-2_90},
	author = {Tsitovich, Aliaksei}
}

Attachment	Size
ICLP08Tsitovich.pdf	45.57 KB