Modular verification of web services using efficient symbolic encoding and summarization