Author:
Andrews Tony,Qadeer Shaz,Rajamani Sriram K.,Rehof Jakob,Xie Yichen
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker for concurrent software. Technical report, Microsoft Research (2004)
2. Ball, T., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: POPL 2002: Principles of Programming Languages, January 2002, pp. 1–3. ACM, New York (2002)
3. Broder, A.: Some applications of Rabin’s fingerprinting method. In: Sequences II: Methods in Communications, Security, and Computer Science, pp. 143–152 (1993)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. Dwyer, M., Hatcliff, J., Joehanes, R., Laubach, S., Pasareanu, C.: Tool-supported program abstraction for finite-state verification. In: ICSE 2001: International Conference on Software Engineering, pp. 177–187. ACM, New York (2001)
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献