Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. APR+01._T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. Zuck. Parameterized verification with automatically computed inductive assertions. In CAV, 2001.
2. BBC+00._N. Bjorner, A. Browne, M. Colón, B. Finkbeiner, Z. Manna, H. Sipma, and T. Uribe. Verifying temporal properties of reactive systems: A STeP tutorial. Formal Methods in System Design, 2000.
3. J. Bradfield and C. Stirling. Local model checking for infinite state spaces. TCS, 96, 1992.
4. Lect Notes Comput Sci;E.M. Clarke,1981
5. K.M. Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献