Parameterized Verification of Multithreaded Software Libraries-Reference-Cited by-同舟云学术

Parameterized Verification of Multithreaded Software Libraries

Published:2001 Issue: Volume: Page:158-173
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Ball Thomas,Chaki Sagar,Rajamani Sriram K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45319-9_12

Reference20 articles.

1. P. A. Abdulla, K. Cerans, B. Jonsson, and T. Yih-Kuen. General decidability theorems for infinite-state systems. LICS’ 96: 11th IEEE Symp. Logic in Computer Science, pages 313–321, July 1996.

2. P. A. Abdulla and B. Jonsson. Ensuring completeness of symbolic verificatiom methods for infinite-state systems. Theoretical Computer Science, 1997.

3. Thomas Ball, Sagar Chaki, and Sriram K. Rajamani. Parameterized verification of multithreaded software libraries. Technical Report MSRTR-2000-116, Microsoft Research, December 2000.

4. Lect Notes Comput Sci;T. Ball,2000

5. T. Ball and S. K. Rajamani. Boolean programs: A model and process for software analysis. Technical Report MSR-TR-2000-14, Microsoft Research, February 2000.

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. The Logical View on Continuous Petri Nets;ACM Transactions on Computational Logic;2017-08-21

3. Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems;Computer Aided Verification;2017

4. Parameterized verification;International Journal on Software Tools for Technology Transfer;2016-06-24

5. A unified view of parameterized verification of abstract models of broadcast communication;International Journal on Software Tools for Technology Transfer;2016-01-25