Publisher
Springer International Publishing
Reference27 articles.
1. Padon, O., McMillan, K.L., Panda, A., Sagiv, M., Shoham, S.: Ivy: safety verification by interactive generalization. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 614–630 (2016). https://doi.org/10.1145/2908080.2908118
2. Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997)
3. Deligiannis, P., et al.: Uncovering bugs in distributed storage systems during testing (not in production!). In: Proceedings of the 14th Usenix Conference on File and Storage Technologies, pp. 249–262. FAST 2016. USENIX Association (2016)
4. Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., Zufferey, D.: P: safe asynchronous event-driven programming. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ser. PLDI 2013, pp. 321–332. Association for Computing Machinery, New York (2013). https://doi.org/10.1145/2491956.2462184
5. Lecture Notes in Computer Science;A Bouajjani,2011