Parameterized Verification of Infinite-State Processes with Global Conditions-Reference-Cited by-同舟云学术

Parameterized Verification of Infinite-State Processes with Global Conditions

Published: Issue: Volume: Page:145-157
ISSN:
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Abdulla Parosh Aziz,Delzanno Giorgio,Rezine Ahmed

Publisher

Springer Berlin Heidelberg

Link

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

Reference23 articles.

1. Abdulla, P.A., Čerāns, K., Jonsson, B., Yih-Kuen, T.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation 160, 109–127 (2000)

2. Abdulla, P.A., Delzanno, G.: On the coverability problem for constrained multiset rewriting. In: Proc. AVIS 2006

3. Abdulla, P.A., Delzanno, G., Rezine, A.: Parameterized Verification of Infinite-state Processes with Global Conditions, Technical Report 2007-014, Uppsala University (April 2007)

4. Abdulla, P.A., Henda, N.B., Delzanno, G., Rezine, A.: Regular model checking without transducers. In: Proc. TACAS 2007 (to appear, 2007)

5. Lecture Notes in Computer Science;P.A. Abdulla,2002

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

1. Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions;Proceedings of the ACM on Programming Languages;2023-04-06

2. Regular Model Checking: Evolution and Perspectives;Model Checking, Synthesis, and Learning;2021

3. Parameterized Model Checking on the TSO Weak Memory Model;Journal of Automated Reasoning;2020-06-27

4. Reasoning About Universal Cubes in MCMT;Formal Methods and Software Engineering;2019

5. Parameterized Model Checking Modulo Explicit Weak Memory Models;Electronic Proceedings in Theoretical Computer Science;2018-05-12