Author:
Kesten Yonit,Pnueli Amir,Raviv Li-On,Shahar Elad
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference27 articles.
1. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang, “Symbolic model checking: 1020 states and beyond,” Inf. and Comp., Vol. 98, No. 2, pp. 142–170, 1992.
2. E.M. Clarke and E.A. Emerson, “Design and synthesis of synchronization skeletons using branching time temporal logic,” in Proc. IBM Workshop on Logics of Programs, Volume 131 of Lect. Notes in Comp. Sci., Springer-Verlag, 1981, pp. 52–71.
3. E.M. Clarke, O. Grumberg, and K. Hamaguchi, “Another look at ltl model checking,” Formal Methods in System Design, Vol. 10, No. 1, 1997.
4. E.M. Clarke, O. Grumberg, D.E. Long, and X. Zhao, “Efficient generation of counterexamples and witnesses in symbolic model checking,” in Proc. Design Automation Conference 95 (DAC95), 1995.
5. E.A. Emerson and C.L. Lei, “Efficient model-checking in fragments of the propositional modal μ-calculus,” in Proc. First IEEE Symp. Logic in Comp. Sci., pp. 267–278, 1986.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献