Publisher
Springer International Publishing
Reference20 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999). 314 pages
2. Evangelista, S., Pajault, C.: Solving the ignoring problem for partial order reduction. Softw. Tools Technol. Transfer 12(2), 155–170 (2010)
3. Eve, J., Kurki-Suonio, R.: On computing the transitive closure of a relation. Acta Informatica 8(4), 303–314 (1977)
4. Gerth, R., Kuiper, R., Peled, D., Penczek, W.: A partial order approach to branching time logic model checking. In: Proceedings of Third Israel Symposium on the Theory of Computing and Systems, pp. 130–139. IEEE (1995)
5. LNCS;P Godefroid,1996
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Action-Based Model Checking: Logic, Automata, and Reduction;Computer Aided Verification;2020
2. Combining Parallel Emptiness Checks with Partial Order Reductions;Formal Methods and Software Engineering;2019
3. Fair testing and stubborn sets;International Journal on Software Tools for Technology Transfer;2017-12-11
4. Stubborn Set Intuition Explained;Lecture Notes in Computer Science;2017
5. Stubborn Sets with Frozen Actions;Lecture Notes in Computer Science;2017