Title: Abstraction and Assume-Guarantee Reasoning for Automated Software Verification