Author:
Stern Ulrich,Dill David L.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J. R. Burch, E. M. Clarke, K. L. McMillan, and D. L. Dill. Sequential circuit verification using symbolic model checking. In 27th ACM/IEEE Design Automation Conference, pages 46–51, 1990.
2. J. L. Carter and M. N. Wegman. Universal classes of hash functions. Journal of Computer and System Sciences, 18(2):143–54, 1979.
3. C.-T. Chou and D. Peled. Formal verification of a partial-order reduction technique for model checking. In Tools and Algorithms for the Construction and Analysis of Systems. 2nd International Workshop, pages 241–57, 1996.
4. D. L. Dill. The Murφ verification system. In Computer Aided Verification. 8th International Conference, pages 390–3, 1996.
5. ]G. J. Holzmann. On limits and possibilities of automated protocol analysis. In Protocol Specification, Testing, and Verification. 7th International Conference, pages 339–44, 1987.
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献