Dersin Bilgileri

Dersin Adı	Türkçe	Model Checking for Software Systems
	İngilizce	Model Checking for Software Systems
Dersin Kodu	BLG 633E	Kredi	Ders (saat/hafta)	Uygulama (saat/hafta)	Labratuvar (saat/hafta)
Dönem	-	3	-	-	-
Dersin Dili		İngilizce
Dersin Koordinatörü		Tolga Ovatman
Dersin Amaçları		- Learning the concept of model checking - Having insight on the theoretical background of model checking - Learning program verification using model checking
Dersin Tanımı		During the course, model checking methods will be covered that can be used in program verification and during specification and design stages of software development. Course will begin with introduction of the concept of model checking and theoretical background of modern model checking methods. Later, basic SMV, SPIN and UPPAAL examples will be used to demonstrate program verification and finally some formal languages that are integrated to modern programming languages will be examined.
Dersin Çıktıları
Önkoşullar
Gereken Olanaklar
Diğer
Ders Kitabı		Baier, C., Katoen, J.-P., 2008. Principles of Model Checking, M.I.T. Press
Diğer Referanslar