Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Aho, A. V.; Hopcroft, J. E. & Ullman, J. D.: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, 470 p.
2. Brinksma, E.: A Theory for the Derivation of Tests. Protocol Specification, Testing and Verification VIII (Proceedings of International IFIP WG 6.1 Symposium, 1988), North-Holland 1988, pp. 63–74.
3. Courcoubetis, C.; Vardi, M.; Wolper, P. & Yannakakis, M.: Memory Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design, 1: 275–288 (1992). (An earlier version appeared in Workshop on Computer-Aided Verification, New Brunswick, NJ, USA 1990.)
4. Godefroid, P.: Using Partial Orders to Improve Automatic Verification Methods. AMS-ACM DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 3, 1991, pp. 321–340. (An earlier version appeared in Workshop on Computer-Aided Verification, New Brunswick, NJ, USA 1990.)
5. Godefroid, P. & Wolper, P.: A Partial Approach to Model Checking. Proceedings of the 6th IEEE Symposium on Logic in Computer Science, Amsterdam, July 1991, pp. 406–415.
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Action-Based Model Checking: Logic, Automata, and Reduction;Computer Aided Verification;2020
2. Partial-Order Reduction;Handbook of Model Checking;2018
3. Context-Sensitive Dynamic Partial Order Reduction;Computer Aided Verification;2017
4. Safety Property-Driven Stubborn Sets;Lecture Notes in Computer Science;2016
5. Introduction to Verification;Models and Analysis in Distributed Systems;2013-03-06