Семинар 6

Тестирование с учетом внутренних состояний.

Слайды

• PDF
• PPTX

Видео

• Семинар 27.10

Домашнее задание

Срок сдачи без штрафа: 8.11.2020

• Описание задания (PDF, DOCX).

• Файл с кодом на Java.

• Файл с кодом на Python.

Ссылки

Литература

1. Контрактное программирование.
2. Логика Хоара.
3. Z3 Theorem Prover.
4. Z3 Tutorial.
5. Constraint Programming.
6. Dennis Yurichev - SAT/SMT by Example - With many examples using Z3Py.