CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Pavel Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov. CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). In Axel Legay, Tiziana Margaria, editors, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Volume 10206 of Lecture Notes in Computer Science, pages 355-359, 2017. [doi]

The following publications are possibly variants of this publication:

CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution)Karlheinz Friedberger. TACAS 2016: 912-915 [doi]

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution)Pavel Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton Vasilyev. TACAS 2018: 427-431 [doi]

Efficient software model checking with block-abstraction memoizationKarlheinz Friedberger. PhD thesis, Ludwig Maximilian University of Munich, Germany, 2021. [doi]

runs on WebDSL