1. Alglave, J., Kroening, D., Tautschnig, M.: Partial Orders for Efficient Bounded Model Checking of Concurrent Software, pp. 141–157. Springer, Berlin (2013)
2. Andersen, L.O.: Program analysis and specialization for the C programming language. Dissertation, University of Copenhagen (1994)
3. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: exploiting program structure for model checking concurrent software. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004-Concurrency Theory, pp. 1–15. Springer, Berlin (2004)
4. Beyer, D.: Software Verification with Validation of Results, pp. 331–349. Springer, Berlin (2017)
5. Beyer, D., Friedberger, K.: A light-weight approach for verifying multi-threaded programs with CPAchecker. Electron. Proc. Theor. Comput. Sci. 233, 61–71 (2016)