Monotonic Abstraction for Programs with Dynamic Memory Heaps-Reference-Cited by-同舟云学术

Monotonic Abstraction for Programs with Dynamic Memory Heaps

Published: Issue: Volume: Page:341-354
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Abdulla Parosh Aziz,Bouajjani Ahmed,Cederberg Jonathan,Haziza Frédéric,Rezine Ahmed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70545-1_33.pdf

Reference30 articles.

1. Abdulla, P.A., Bouajjani, A., Cederberg, J., Haziza, F., Rezine, A.: Monotonic abstraction for programs with dynamic memory heaps. Technical Report 2008-015, Dept. of Information Technology, Uppsala University, Sweden (April 2008)

2. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: Algorithmic analysis of programs with well quasi-ordered domains. Inf. Comput. 160(1-2), 109–127 (2000)

3. Lecture Notes in Computer Science;P.A. Abdulla,2007

4. Lecture Notes in Computer Science;P.A. Abdulla,2007

5. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Inf. Comput. 127(2), 91–101 (1996)

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

1. Model checking boot code from AWS data centers;Formal Methods in System Design;2020-04-15

2. Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial);Networked Systems;2019

3. Model Checking Boot Code from AWS Data Centers;Computer Aided Verification;2018

4. Decidability of inferring inductive invariants;ACM SIGPLAN Notices;2016-04-08

5. Decidability of inferring inductive invariants;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11