Interpretation-Based Violation Witness Validation for C: NITWIT
57
19. Heizmann, M., Hoenicke, J., Podelski, A.: Software model checking for people who
love automata. In: CAV. Lecture Notes in Computer Science, vol. 8044, pp. 36–52.
Springer (2013)
20. Holub, A.I.: Compiler Design in C. Prentice Hall (1990)
21. Mak, R.: Writing Compilers and Interpreters: A Software Engineering Approach.
Wiley Publishing, 3rd edn. (2009)
22. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer
(1999)
23. ˇ
Svejda, J., Berger, P., Katoen, J.P.: Replication artifact for the NITWIT Validator
submitted to TACAS20 (Oct 2019). https://doi.org/10.5281/zenodo.3518139
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium
or format, as long as you give appropriate credit to the original author(s) and the
source, provide a link to the Creative Commons license and indicate if changes were
made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.
57
19. Heizmann, M., Hoenicke, J., Podelski, A.: Software model checking for people who
love automata. In: CAV. Lecture Notes in Computer Science, vol. 8044, pp. 36–52.
Springer (2013)
20. Holub, A.I.: Compiler Design in C. Prentice Hall (1990)
21. Mak, R.: Writing Compilers and Interpreters: A Software Engineering Approach.
Wiley Publishing, 3rd edn. (2009)
22. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer
(1999)
23. ˇ
Svejda, J., Berger, P., Katoen, J.P.: Replication artifact for the NITWIT Validator
submitted to TACAS20 (Oct 2019). https://doi.org/10.5281/zenodo.3518139
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium
or format, as long as you give appropriate credit to the original author(s) and the
source, provide a link to the Creative Commons license and indicate if changes were
made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.