On the Existence of Network Invariants for Verifying Parameterized Systems-Reference-Cited by-同舟云学术

On the Existence of Network Invariants for Verifying Parameterized Systems

Published:1999 Issue: Volume: Page:180-197
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abdulla Parosh Aziz,Jonsson Bengt

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48092-7_9

Reference35 articles.

1. Lect Notes Comput Sci;P. A. Abdulla,1998

2. Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, and Marcus Nilsson. Handling global conditions in parameterized system verification. In Proc. 11 th Int. Conf. on Computer Aided Verification, 1999.

3. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5 th IEEE Int. Symp. on Logic in Computer Science, pages 414–425, Philadelphia, 1990.

4. Lect Notes Comput Sci;R. Alur,1992

5. Parosh Aziz Abdulla, Karlis Čerāns, Bengt Jonsson, and Tsay Yih-Kuen. General decidability theorems for infinitestate systems. In Proc. 11 th IEEE Int. Symp. on Logic in Computer Science, pages 313–321, 1996.

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

1. Compositional Verification of Parameterised Timed Systems;Lecture Notes in Computer Science;2015

2. Nash Equilibria in Symmetric Games with Partial Observation;Electronic Proceedings in Theoretical Computer Science;2014-04-01

3. Network invariants for real-time systems;Formal Aspects of Computing;2008-12

4. Network Invariants for Real-Time Systems;Electronic Notes in Theoretical Computer Science;2004-08

5. Parameterized Model Checking of Ring-Based Message Passing Systems;Computer Science Logic;2004