Author:
Wang Chao,Bloem Roderick,Hachtel Gary D.,Ravi Kavita,Somenzi Fabio
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference42 articles.
1. F. Balarin and A.L. Sangiovanni-Vincentelli, “An iterative approach to language containment,” in C. Courcoubetis, editor, Fifth Conference on Computer Aided Verification (CAV '93). Springer-Verlag, Berlin, 1993. LNCS 697.
2. R. Bloem, H. N. Gabow, and F. Somenzi, “An algorithm for strongly connected component analysis in n log n symbolic steps,” in W.A. Hunt, Jr. and S.D. Johnson (Eds.), Formal Methods in Computer Aided Design, LNCS 1954, Springer-Verlag, pp. 37–54, November 2000.
3. R. Bloem, H.N. Gabow, and F. Somenzi, “An algorithm for strongly connected component analysis in n log n symbolic steps,” Formal Methods in System Design, Vol. 27, No. 2, 2005 (To appear).
4. R. Bloem, K. Ravi, and F. Somenzi, “Efficient decision procedures for model checking of linear time logic properties,” in N. Halbwachs and D. Peled (Eds.), Eleventh Conference on Computer Aided Verification (CAV'99), Springer-Verlag, Berlin, LNCS 1633, 1999, pp. 222–235.
5. R.K. Brayton et al. “VIS: A system for verification and synthesis,” in T. Henzinger and R. Alur (Eds.), Eighth Conference on Computer Aided Verification (CAV'96), Springer-Verlag, Rutgers University, LNCS 1102, 1996, pp. 428–432.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献