CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis-Reference-Cited by-同舟云学术

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis

Published:2018 Issue: Volume: Page:427-431
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Andrianov Pavel,Mutilin Vadim,Mandrykin Mikhail,Vasilyev Anton

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-89963-3_26

Reference9 articles.

1. Lecture Notes in Computer Science;D Beyer,2011

2. Lecture Notes in Computer Science;P Cuoq,2012

3. Hubert, T., Marché, C.: Separation analysis for deductive verification. In: Heap Analysis and Verification (HAV 2007), Braga, Portugal, pp. 81–93, March 2007

4. Mandrykin, M.U., Khoroshilov, A.V.: Region analysis for deductive verification of C programs. Program. Comput. Softw. 42(5), 257–278 (2016)

5. Conchon, S., Filliâtre, J.C., Signoles, J.: Designing a generic graph library using ML functors. In: Morazán, M.T. (ed.) Trends in Functional Programming, vol. 8, Selected Papers of the 8th International Symposium on Trends in Functional Programming (TFP 2007), New York, USA. Intellect (2008)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Directed Model Checking for Fast Abstract Reachability Analysis;IEEE Access;2021

2. ALPACA: A Large Portfolio-Based Alternating Conditional Analysis;2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2019-05

3. In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018