Инновационные программы для проверки электрических схем