A tárgy segédanyagai közé kikerült a házi feladat leírása valamint a kapcsolódó labor anyagai. A következő laboralkalom november 13-án lesz, témája erősen kapcsolódik a házi feladathoz. A laboron a részvétel kötelező, saját gép használata javasolt. Az UPPAAL modellellenőrző a következő honalapról tölthető le: http://uppaal.org/
