Author:
Valmari Antti,Hansen Henri
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
2. Lecture Notes in Computer Science;J. Esparza,1998
3. Flanagan, C., Godefroid, P.: Dynamic Partial-Order Reduction for Model Checking Software. In: Proceedings of the 32nd Annual ACM Symposium on Principles of Programming Languages, pp. 110–121 (2005)
4. Lecture Notes in Computer Science;J. Geldenhuys,2009
5. Godefroid, P.: Using Partial Orders to Improve Automatic Verification Methods. In: Proceedings of CAV 1990. AMS–ACM DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 3, pp. 321–340 (1991)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Experimenting with Stubborn Sets on Petri Nets;Application and Theory of Petri Nets and Concurrency;2023
2. Supervisory Control for Petri Nets Based on Partial Order Techniques;2022 IEEE International Conference on Networking, Sensing and Control (ICNSC);2022-12-15
3. Related Work on Deadlock and Termination Detection Techniques;Studies in Computational Intelligence;2019-03-17
4. Stubborn Transaction Reduction;Lecture Notes in Computer Science;2018
5. Detecting data-flow errors based on Petri nets with data operations;IEEE/CAA Journal of Automatica Sinica;2018-01