Attacking Symbolic State Explosion-Reference-Cited by-同舟云学术

Attacking Symbolic State Explosion

Published:2001 Issue: Volume: Page:298-310
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Delzanno Giorgio,Raskin Jean-François,Van Begin Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44585-4_28

Reference26 articles.

1. ABC+95._M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing. John Wiley & Sons, 1995.

2. P. A. Abdulla and A. Nylén. Better is Better than Well: On Efficient Verification of Infinite-State Systems. In Proc. LICS 2000, pages 132–140, 2000.

3. P. A. Abdulla, K. Cerāns, B. Jonsson and Y.-K. Tsay. General Decidability Theorems for Infinite-State Systems. In Proc. LICS’ 96, pages 313–321, 1996.

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

5. Lect Notes Comput Sci;B.L.P.+.9.9._.G. Behrmann,1999

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

1. Parameterized verification of systems with component identities, using view abstraction;International Journal on Software Tools for Technology Transfer;2022-02-26

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

3. Approaching the Coverability Problem Continuously;Tools and Algorithms for the Construction and Analysis of Systems;2016

4. Efficient Coverability Analysis by Proof Minimization;Lecture Notes in Computer Science;2012

5. Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs;Fundamentals of Software Engineering;2012