Author:
Naik Vivek G.,Sistla A. P.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. J. R. Burch, E. M. Clarke, K. L. McMillan, D.L. Dill, “Symbolic Modelchecking: 1020 states and beyond”, In Proceedings of fifth annual Symposium on Logic in Computer Science, June 1990.
2. E. M. Clarke, E. A. Emerson and A. P. Sistla. “Automatic verification of finite-state concurrent systems using temporal logic.” ACM Trans. Program. Lang. Syst. 8, 2, (April 1986), 244–263.
3. E. M. Clarke, J. R. Burch, O. Grumberg, D. E. Long and K. L. McMillan. “Automatic verification of Sequential Circuit Designs.” Royal Society of London, October 1991.
4. J. D. Day and H. Zimmerman. “The OSI reference model.” In Proc. of IEEE, volume 71, pages 1334–1340, December 1983.
5. O. Lichtenstein and A. Pnueli. “Checking that finite state concurrent programs satisfy their linear specification.” In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献