Sự chứng minh chính thức rằng một hệ thống hoặc thành phần tuân thủ các yêu cầu cụ thể của nó và được chấp nhận để sử dụng trong vận hành.
Các cuộc trình diễn chính thức là không cần thiết để chứng nhận một hệ thống.