Jesi siguran da si ovu temu označio s pravim predmetom. Jer koliko vidim Formalne metode za verifikaciju i sintezu programskih sustava je predmet zimskog semestra. Nova verzija FMOUSa je Formalna verifikacija programske potpore. Uglavnom ako misliš na FVPP (predmet koji je prije bio FMOUS) materijali se nalaze na moodle stranici predmeta. Uvodno predavanje smo imali, a za sva ostala predavanja rekao je da neće biti u terminu od 9-12, nego će eventualno imati konzultacije u terminima od 11-12, a za predavanja da gledamo linkove sa moodlea na youtubeu (za sad je objavljeno za 2. tjedan). Sad što se tiče razlika mislim da je rekao da je u 2. ciklusu nešto promijenjeno gradivo, i nešto za labose (sad dal je jedan labos drugačiji ili je samo promijenjena struktura bodova se ne sjećam).