Екзаменаційний білет складається з трьох питань:
1. «Теоретичне питання»
2. «Проста задача»
3. «Складна задача»

Теоретичне питання -- це питання із переліку екзаменаційних питань, наведених в окремому списку.

Проста задача передбачає доведення простої тавтології за допомогою ПЗ simplify.

Складна задача передбачає:
• запис специфікації програми
• побудову інваріанту
• формальне доведення правильності програми

Максимальна кількість балів за відповідь на перше, друге, третє запитання складає відповідно 40%, 20%, 40% балів від загальної суми балів на екзамені.