Export 79 results:
Author Title Type [ Year(Asc)]
The Synergy of Precise and Fast Abstractions for Program Verification, Sharygina, Natasha, Tonetta S., and Tsitovich A. , 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, (2009)
Detection of Security Vulnerabilities Using Guided Model Checking, Tsitovich, A. , 24th International Conference on Logic Programming (ICLP), Udine, Italy, (2008)
Loop Summarization using Abstract Transformers, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)