Сертификат поведения

Формальная гарантия, что система не выйдет за очерченные границы, — аналог сертификации самолёта.