Author:
Zhang Fuyuan,Zhao Yongwang,Sanán David,Liu Yang,Tiu Alwen,Lin Shang-Wei,Sun Jun
Publisher
Springer International Publishing
Reference37 articles.
1. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the spi calculus. Inf. Comput. 148(1), 1–70 (1999)
2. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, New York (2008)
3. Brookes, S.D.: Full abstraction for a shared variable parallel language. In: Proceedings of the 8th Annual Symposium on Logic in Computer Science (LICS 1993), Montreal, Canada, pp. 98–109 (1993)
4. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 10$$\hat{~}$$^20 states and beyond. Inf. Comput. 98(2), 142–170 (1992)
5. Lecture Notes in Computer Science;S Burckhardt,2010
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CSim
2;ACM Transactions on Programming Languages and Systems;2021-03-31
2. Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles;2020 International Symposium on Theoretical Aspects of Software Engineering (TASE);2020-12
3. Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications;2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS);2020-10
4. Compositional Reasoning for Shared-Variable Concurrent Programs;Formal Methods;2018