Specificarea si Verificarea Sistemelor

Desfasurarea Cursului

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

Link-ul de conectare valabil tot semestrul este: conectare curs (Miercuri 16:00-18: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-5: CTL
• Curs 5-6-7: LTL
• Curs 9-10: Games
• Curs 11: Strategies
• Curs 12: ATL
• Curs 13-14: Timed Systems

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

• Seminar 1
• Seminar 2
• Seminar 3
• Seminar 4 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 online in saptamana 8, luni 14 aprilie incepand cu ora 16:00 (vom programa prezentarile mai aproape).
• Seminar 5 si Solutiile discutate la seminar
• Seminar 6 si Solutiile discutate la seminar
• Seminar 9-10 si Solutiile discutate la seminar
• Seminar 11 si Solutiile discutate la seminar
• Tema 2 : Veti lucra in echipe de cate 2 studenti (ramane aceiasi echipa ca la tema 1) si va fi predata fizic vineri, 6 iunie, in timpul orei de seminar.
• Seminar 12 si Solutiile discutate la seminar
• Seminar 13 si Solutiile discutate la seminar
• Seminar 14

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.