Author:
Schlich Bastian,Kowalewski Stefan
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference44 articles.
1. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker for concurrent software. Tech. Rep. MSR-TR-2004-10, Microsoft Research (2004)
2. Ball, T., Kupferman, O., Yorsh, G.: Abstraction for falsification. Tech. Rep. MSR-TR-2005-50, Microsoft Research (2005)
3. Ball, T., Rajamani, S.: Boolean programs: A model and process for software analysis. Tech. Rep. 2000-14, Microsoft Research (2000)
4. Ball, T., Rajamani, S.K.: Bebop: A symbolic model checker for boolean programs. In: Proceedings of the 7th International SPIN Workshop SPIN Model Checking and Software Verification. Lecture Notes In Computer Science, vol. 1885, pp. 113–130. Springer, Berlin (2000)
5. Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: SPIN 2001, Workshop on Model Checking of Software, Lecture Notes in Computer Science, vol. 2057, pp. 103–122 (2001)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献