Interpretation-Based Violation Witness Validation for C: NITWIT.

Jan Svejda Philipp Berger Joost-Pieter Katoen

Published in: TACAS (1) (2020)

Keyphrases

image interpretation
semantic interpretation
high level
special case
data structure
data analysis
image analysis
data model