Záznam přednášky - Formální verifikace programů
| Akce: | Krutá Smršť Přednášek 2023 (záznamy z akce) |
|---|---|
| Přednášející: | Matěj Volf |
| Motto: | Ta funkce to pole opravdu setřídí, přísahám! |
| Anotace: | Formální verifikace se zabývá ověřováním, že programy opravdu dělají to, co mají. Například když píšete software do vesmírné rakety, nějaký šikovně umístěný bug v navigaci by byl fakt drahý. Taková příležitost vás asi v nejbližší době nečeká, ale ukážeme si alespoň, jak taková verifikace typicky vypadá v kódu, a zkusíme si u nějakých implementací základních algoritmů dokázat jejich správnost. |
| Externí odkazy: | YouTube |
| Ke stažení: | Video (MP4/H.264) a Audio (Ogg/Opus) |
| Další materiály: |