Post-hoc Concept-based Explainable Artificial Intelligence Methods for Verification of Computer Vision Deep Neural Networks | Synapse