Specificarea si Verificarea Sistemelor

Desfasurarea Cursului

Prelegerile materiei Specificarea si Verificarea Sistemelor se va desfasura online utilizand Zoom.

Link-ul de conectare valabil tot semestrul este: conectare curs (Luni 14:00-16:00)

Titular curs: Conf. Dr. Rodica Condurache

Server Discord : here. Veti folosi numele complet pe serverul de discord, si nu alias-uri.

Structura cursului

Cursul este structurat de-a lungul a 14 săptămâni astfel:

• Curs 1: Introducere si Logici Modale
• Curs 2: Logici modale - KT45n
• Curs 3: Sisteme de tranzitie
• Curs 4: CTL
• Curs 5-6: LTL ( si cursul cu notite )
• Curs 7,9: Games
• Curs 10: Strategies
• Curs 11: ATL

Referinte principale:

• 1. C.Baier, J.-P.Katoen. „Principles of Model Checking”. MIT Press 2008.
• 2. E.M. Clarke, O. Grumberg, D. Peled. „Model Checking”. MIT Press 2000.
• 3. E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem. " Handbook of Model Checking ". Springer Nature 2018
• 4. S.Demri, P.Gastin. "Specification and Verification using Temporal Logics  ", 2009

Seminar

Seminariile materiei Specificarea si Verificarea Sistemelor se va desfasura hibrid: fizic si utilizand Zoom.

Link-ul de conectare valabil tot semestrul este: conectare seminar (Joi 14:00-16:00)

• Seminar 1
• Seminar 2 si Solutiile discutate la seminar
• Seminar 3 si Solutiile discutate la seminar
• Seminar 4 si Solutiile discutate la seminar
• Seminar 5 si Solutiile discutate la seminar
• Seminar 6 si Solutiile discutate la seminar
• Tema 1 : Veti lucra in echipe de cate 2 studenti (ramane aceiasi echipa si la tema 2) si va fi predata in saptamana 9, joi 23 aprilie incepand cu ora 14:00.
• Seminar 7 si Solutiile discutate la seminar
• Seminar 9-10 si Solutiile discutate la seminar
• Seminar 11
• Tema 2 : Veti lucra in echipe de cate 2 studenti (ramane aceiasi echipa ca la tema 1) si va fi predata fizic Joi 28 Mai, in timpul orei de seminar.

Evaluare și notare

Notarea la materia Specificarea si Verificarea Sistemelor se face astfel:

• Examen scris in sesiune : 60% din nota finala
• Evaluare la laborator: 40% din nota finala
• Pentru promovare aveți nevoie de nota 5.