Publisher
Springer Science and Business Media LLC
Reference46 articles.
1. P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, Springer, Berlin (1996).
2. P. Godefroid, “Software model checking: The VeriSoft approach,” in: Formal Methods in System Design, 26, Springer, Netherlands (2005), pp. 77–101.
3. D. Peled, “Combining partial order reductions with on the fly model checking,” J. of Formal Methods in System Design, 8, No. 1, 39–64 (1996).
4. J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang, “Symbolic model checking: 10^20 states and beyond,” Inform. and Comput., 98, No. 2, 142–170 (1992).
5. A. Cimatti, E. M. Clarke, E. Giunchiglia, et al., “NuSMV 2: An OpenSource tool for symbolic model checking,” in: Proc. Int. Conf. on Computer-Aided Verification, Copenhagen, Denmark (2002), pp. 359–364.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献