CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). - Pavel S. Andrianov; Karlheinz Friedberger; Mikhail U. Mandrykin; Vadim S. Mutilin; Anton Volkov (TACAS (2), 2017)