Interpretation-Based Violation Witness Validation for C: NITWIT. - Jan Svejda; Philipp Berger 002; Joost-Pieter Katoen (TACAS (1), 2020)