Hoş Geldiniz,
Misafir
.
Oturum Aç
.
English
NİNOVA
DERSLER
YARDIM
HAKKINDA
Neredeyim:
Ninova
/
Dersler
/
Fen Bilimleri Enstitüsü
/
BLG 633E
/
Dersin Bilgileri
Fakülteye dön
Ana Sayfa
Dersin Bilgileri
Dersin Haftalık Planı
Değerlendirme Kriterleri
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
Dersler
.
Yardım
.
Hakkında
Ninova, İTÜ Bilgi İşlem Daire Başkanlığı ürünüdür. © 2024