Approximated parameterized verification of infinite-state processes with global conditions-Reference-Cited by-同舟云学术

Approximated parameterized verification of infinite-state processes with global conditions

Published:2008-12-17 Issue:2 Volume:34 Page:126-156
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Abdulla Parosh Aziz,Delzanno Giorgio,Rezine Ahmed

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-008-0062-9.pdf

Reference24 articles.

1. Abdulla PA, Čerāns K, Jonsson B, Tsay YK (2000) Algorithmic analysis of programs with well quasi-ordered domains. Inf Comput 160:109–127

2. Abdulla PA, Delzanno G (2006) On the coverability problem for constrained multiset rewriting. In: Proc AVIS’06, 5th int workshop automated verification of infinite-state systems

3. Lecture notes in computer science;PA Abdulla,2007

4. Lecture notes in computer science;PA Abdulla,2008

5. Abdulla PA, Henda NB, Delzanno G, Rezine A (2007) Regular model checking without transducers (on efficient verification of parameterized systems). In: Proc TACAS ’07, 13th int conf on tools and algorithms for the construction and analysis of systems

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

1. Regular Abstractions for Array Systems;Proceedings of the ACM on Programming Languages;2024-01-05

2. A Framework for the Verification of Parameterized Infinite-state Systems*;Fundamenta Informaticae;2017-03-03

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

4. Decidability in Parameterized Verification;ACM SIGACT News;2016-06-03

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