Author:
Lüttgen Gerald,Carreño Victor
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
2. R.W. Butler, S.P. Miller, J.N. Potts, and V.A. Carreño. A formal methods approach to the analysis of mode confusion. In DASC’ 98, 1998. IEEE.
3. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of-nitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244–263, 1986.
4. D.L. Dill. The Murphi verification system. In CAV’ 96, vol. 1102 of LNCS, pages 390–393, 1996. Springer-Verlag.
5. E.A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, vol. B, pages 995–1072, 1990. North-Holland.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献