Fakultet tehničkih nauka

Predmet: Uvod u formalne metode (17.0M533)

Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast Teorijska i primenjena matematika
ESPB 4

Sticanje znanja o formalnim metodama. Praktičan rad sa alatima. Uključivanje studenta u naučno-istraživački rad.

Poznavanje teorijskih osnova i praktičnog rada sa formalnim metodama u raznim oblastima inžerestva. Uključivanje u aktuelna istraživanja u domenu formalnih metoda, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.

Formalna specifikacija. Formalna verifikacija. Formalni mašinski-proverljivi dokazi. Jezici za specifikaciju: procesni računi (CCS, CSP, pi-račun), Petri mreže. Automatski alati: PAT, Mobility Workbench.

Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Studenti u grupama i samostalno proučavaju dodatnu literaturu i diskutuju je sa nastavnikom na konsultacijama.

Autori Naziv Godina Izdavač Jezik
Schneider, K. Verification of reactive systems 2004 Springer, Berlin Engleski
Hubert Garavel (editor) and Susanne Graf Formal Methods for Safe and Secure Computer Systems 2013 Springer Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Teorijski deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Prisustvo na vežbama
Predispitna
Da
Obavezna
Da
Broj poena
2.00
Predmetna aktivnost
Prisustvo na predavanjima
Predispitna
Da
Obavezna
Da
Broj poena
3.00
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
45.00
Predavanja
Auditorne vežbe