안전성 검증의 새로운 패러다임, 검증된 시스템과 함께하세요