Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures-Reference-Cited by-同舟云学术

Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures

Published: Issue: Volume: Page:207-220
ISSN:
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bouajjani Ahmed,Fratani Séverine,Qadeer Shaz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73368-3_24.pdf

Reference11 articles.

1. Lecture Notes in Computer Science;A. Bouajjani,1997

2. Lecture Notes in Computer Science;A. Bouajjani,2005

3. Bouajjani, A., Fratani, S., Qadeer, S.: Bounded context switch analysis of mutithreaded programs with dynamic linked structures. Technical Report, 2007-02, LIAFA lab (January 2007), available at http://www.liafa.jussieu.fr/~abou/publis.html

4. Lecture Notes in Computer Science;J. Esparza,2000

5. Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. Electr. Notes Theor. Comput. Sci., 9 (1997)

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

1. LTL Model Checking for Register Pushdown Systems;IEICE Transactions on Information and Systems;2021-12-01

2. Game Semantic Analysis of Equivalence in IMJ;Automated Technology for Verification and Analysis;2015

3. Context-Switch-Directed Verification in DIVINE;Mathematical and Engineering Methods in Computer Science;2014

4. Reachability in Pushdown Register Automata;Mathematical Foundations of Computer Science 2014;2014

5. Static analysis for concurrent programs with applications to data race detection;International Journal on Software Tools for Technology Transfer;2013-04-11