Verification of ML-based AI systems and its applicability in Edge ML