Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. G. Bhat and R. Cleaveland. Efficient model checking via the equational μ-calculus. In Proc. 11th IEEE Symp. Logic in Comp. Sci., pages 304–312, 1996.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proc. 5th IEEE Symp. Logic in Comp. Sci., pages 428–439. IEEE Computer Society Press, 1990.
3. J.R. Burch, K.L. McMillan, E.M. Clarkes, and D.L. Dill. Sequential circuit verification using symbolic model checking. In Proc. of the 27th ACM/IEEE Design Automation Conference, pages 46–51, Orlando, FL, USA, June 1990.
4. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, volume 131 of Lect. Notes in Comp. Sci., pages 52–71. Springer-Verlag, 1981.
5. Electronic Software Publishing Co. Linkscan. http://www.elsop.com/linkscan/ .
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献