راستی‌آزمایی صوری

تعریف در منبع (انگلیسی)

A method for certifying the adversarial robustness of a neural network based on techniques from formal methods.