Author:
Field J.,Goyal D.,Ramalingam G.,Yahav E.
Reference28 articles.
1. K. Ashcraft, D. Engler, Using programmer-written compiler extensions to catch security holes, in: Proc. IEEE Symp. on Security and Privacy, May 2002, Oakland, CA
2. T. Ball, R. Majumdar, T. Millstein, S. Rajamani, Automatic predicate abstraction of C programs, in: Proc. ACM Conf. on Programming Language Design and Implementation, June 2001, pp. 203–213
3. Automatically validating temporal safety properties of interfaces;Ball,2001
4. E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith, Counterexample-guided abstraction refinement. in: CAV’00, July 2000
5. Model Checking;Clarke,1999
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献