Uvod v modeliranje programja z Alloy Analyzerjem - 1. del

S programerskim klubom FMF bomo v sredo, 12. 11. 2025 ob 16:00 v P.01 izvedli računalniško delavnico. Z modeliranjem programov in protokolov lahko bolje razumemo njihovo delovanje, preverimo njihovo pravilnost ter odkrijemo subtilne napake. Odlično orodje za to je Alloy Analyzer, ki poleg elegantnega in preprostega jezika za modeliranje in preverjanje pravilnosti omogoča tudi vizualizacijo možnih stanj in izvajanj programja.

Prva delavnica se bo začela s splošnim uvodom v modeliranje programja, nadaljevala se bo z osnovami Alloya in končala z nekaj izzivi na platformi Alloy4fun. Predhodna namestitev Alloy Analyzerja ni potrebna.

Za udeležbo ni potrebno predznanje programiranja, le osnovno poznavanje logike.

Lepo vabljeni!