Author:
Geldenhuys Jaco,Hansen Henri,Valmari Antti
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Clarke, E.M., Grumberg, O., Minea, M., Peled, D.: State space reduction using partial order techniques. Software Tools for Technology Transfer 2(3), 279–287 (1999)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Palsberg, J., Abadi, M. (eds.) Proceedings of the 32nd Annual ACM Symposium on Principles of Programming Languages, January 2005, pp. 110–121 (2005)
4. Lecture Notes in Computer Science;P. Godefroid,1996
5. Lecture Notes in Computer Science;P. Godefroid,1993
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Experimenting with Stubborn Sets on Petri Nets;Application and Theory of Petri Nets and Concurrency;2023
2. Partial-Order Reduction for Supervisory Controller Synthesis;IEEE Transactions on Automatic Control;2022-02
3. Abstractions for Transition Systems with Applications to Stubborn Sets;Concurrency, Security, and Puzzles;2016-12-18
4. Guard-based partial-order reduction;International Journal on Software Tools for Technology Transfer;2014-12-17
5. Local State Space Analysis Leads to Better Partial Order Reduction;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2014-06