Author:
Beer Ilan,Ben-David Shoham,Landver Avner
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. I. Beer, S. Ben-David, C. Eisner, A. Landver, “Rule-Base: an Industry-Oriented Formal Verification Tool”, in Proc. 33rd Design Automation Conference 1996, pp. 655–660.
2. E.M. Clarke and E.A. Emerson, “Design and synthesis of synchronization skeletons using Branching Time Temporal Logic”, in Proc. Workshop on Logics of Programs, Lecture Notes in Computer Science, Vol. 131 (Springer, Berlin, 1981) pp. 52–71.
3. E.M. Clark and E.A. Emerson, “Characterizing Properties of Parallel Programs as Fixed-point”, in Seventh International Colloquium on Automata, Languages, and Programming, Volume 85 of LNCS, 1981.
4. E. Clark, O. Grumberg and K. Hamaguchi, “Another Look at LTL Model Checking”, Formal Methods in System Design, Volume 10, Number 1, Feb. 1997.
5. B.Chen, M. Yamazaki, M. Fujita, “Bug Identification of a Real Chip Design by Symbolic Model Checking”, Proc. European Design and Test Conference, 1994, pp. 132–136.
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献