Q02.14. Implement preconditions and postconditions in the code

[artem-vovchenko01]

Q02.14. Implement preconditions and postconditions in the code

• Select a specific algorithmic task (for example, from slides of lectures, laboratories or external resources)
• Implement the algorithm in the code
• Prove the correctness of the algorithm using preсonditions and postconditions
• Check for preconditions and postconditions in the code (for example, using assert)
• Demonstrate that preconditions and postconditions work for different inputs
• You can also slightly change ("break") the algorithm and / or preconditions and postconditions, and show that they will not work in this case

Q02.14. Реалізувати передумови і постумови в коді

• Виберіть певну алгоритмічну задачу (наприклад, з слайдів лекцій, лабораторій чи зовнішніх ресурсів)
• Реалізуйте алгоритм в коді
• Доведіть правильність алгоритму, використовуючи передумови та постумови
• Реалізуйте перевірку на наявність передумов та постумов у коді (наприклад, у вигляді assert)
• Продемонструйте, що передумови та постумови працюють для різних вхідних даних
• Ви також можете трохи змінити ("зламати") алгоритм та / або передумови та постумови, і показати, що вони не працюватимуть у цьому випадку