@conference {155, title = {Detection of Security Vulnerabilities Using Guided Model Checking}, booktitle = {24th International Conference on Logic Programming (ICLP)}, year = {2008}, publisher = {Springer}, organization = {Springer}, address = {Udine, Italy}, author = {Tsitovich, A.} }