Predavanje je održano 14. ožujka 2018. godine u 17 sati u Sivoj vijećnici Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu.
Sažetak predavanja
S povećanjem složenosti sklopovskih i programskih računalnih artefakata tradicijska provjera ispravnosti rada ispitivanjem (testiranjem) i simulacijom više nije dovoljna. Postoji uvjerenje da uporaba formalnih metoda može ostvariti valjano pronalaženje duboko skrivenih pogrešaka a bez bitnog produljenja vremena od zamisli do stavljanja proizvoda na tržište. U ovom prikazu definirane su formalne metode kao matematičke tehnike specifikacije i verifikacije složenih računalnih sustava. Prikazano je nekoliko najpopularnijih metoda bez dubokih i detaljnih razmatranja teoretskih temelja. Razmatrano je pitanje oko mogućeg normativnog prihvaćanja formalnih metoda u okviru uobičajenih modela procesa oblikovanja sklopovskih i programskih artefakata. Navedene su neke formalne metode koje su danas u standardnoj uporabi u najvećim svjetskim informatičkim tvrtkama.