Proceedings of an ESARDA Seminar on Modern Verification Regimes: Similarities, Synergies and Challenges