Integrating Low Level Symmetries into Reachability Analysis-Reference-Cited by-同舟云学术

Integrating Low Level Symmetries into Reachability Analysis

Published:2000 Issue: Volume: Page:315-330
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Schmidt Karsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_22

Reference18 articles.

1. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On well-formed colored nets and their symbolic reachability graph. Proc. of the 11th Int. Conf. on Application and Theory of Petri Nets, pages 387–410, 1990. 315, 328

2. E.M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting symmetry in temporal logic model checking. Formal Methods in System Design 9, pages 77–104, 1996. 315, 316, 323, 324

3. Lect Notes Comput Sci;G. Chiola,1994

4. Lect Notes Comput Sci;G. Chiola,1998

5. S. Duri, U. Buy, R. Devarapalli, and S. Shatz. Using state space methods for deadlock analysis in ada tasking. ACM Proc. Int. Symp. on Software Testing and Analysis, pages 51–60, 1993. 328

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

1. Solving high-level Petri games;Acta Informatica;2020-05-06

2. Symmetry reduction in CSP model checking;International Journal on Software Tools for Technology Transfer;2019-04-01

3. Introducing Symmetry to Graph Rewriting Systems with Process Abstraction;Graph Transformation;2019

4. Petri Net Model Checking with LoLA 2;Application and Theory of Petri Nets and Concurrency;2018

5. Simplification of CTL Formulae for Efficient Model Checking of Petri Nets;Application and Theory of Petri Nets and Concurrency;2018