Author:
Dietsch Daniel,Heizmann Matthias,Hoenicke Jochen,Nutz Alexander,Podelski Andreas
Publisher
Springer International Publishing
Reference19 articles.
1. Beyer, D., Henzinger, T.A., Majumdar, R., Rybalchenko, A.: Path invariants. In: PLDI, pp. 300–309. ACM (2007)
2. Carter, M., He, S., Whitaker, J., Rakamaric, Z., Emmi, M.: SMACK software verification toolchain. In: ICSE (Companion Volume), pp. 589–592. ACM (2016)
3. Lecture Notes in Computer Science;D Dietsch,2018
4. Lecture Notes in Computer Science;D Dietsch,2018
5. Dietsch, D., Heizmann, M., Hoenicke, J., Nutz, A., Podelski, A.: Different maps for different uses. A program transformation for intermediate verification languages. CoRR, abs/1901.01915 (2019)