(1) Професионална техника, използвана да докаже математически, че компютърна програма, отговаря си определени requirements.~(2) доказателство, че резултатите от прилагането на техниката в (1).