Author:
Andrews Tony,Qadeer Shaz,Rajamani Sriram K.,Rehof Jakob,Xie Yichen
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Zing Language Specification, http://research.microsoft.com/zing
2. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker for concurrent software. Technical report, Microsoft Research (2004)
3. Lecture Notes in Computer Science;T. Ball,2000
4. 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)
5. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM 31(3), 560–599 (1984)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Bounded Model Checking Method for Concurrent Systems in xUML4MC;Proceedings of the 2022 5th International Conference on Artificial Intelligence and Pattern Recognition;2022-09-23
2. A Scala library for testing student assignments on concurrent programming;Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala;2016-10-30
3. CIVL;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2015-11-15
4. Local State Reusing for Efficient Model Checking of Multithreaded Programs;Algorithms and Architectures for Parallel Processing;2015
5. Context-Switch-Directed Verification in DIVINE;Mathematical and Engineering Methods in Computer Science;2014