Automated Technology for Verification and Analysis. Proceedings 6th International Symposium, ATVA 2008