Mert Özkaya, “Software Architectures and Formal Verification”, 10 Aralık 2014, Çarşamba – Yaşar Üniversitesi
Search

Mert Özkaya, “Software Architectures and Formal Verification”, 10 Aralık 2014, Çarşamba

Bilgisayar Mühendisliği Bölümü Semineri#42:

mert-ozkahya Başlık: Software Architectures and Formal Verification
Konuşmacı: Mert Özkaya, City University London, UK
Tarih: 10 Aralık 2014, Çarşamba
Saat: 16:00-16:45
Yer: Bilgisayar Ağları Laboratuvarı (Yeni bina B2. kat)
Sunum Dili: İngilizce

Abstract: In this presentation Mert will talk about software architectures and their formal verifications using popular model checkers such as SPIN. Mert will introduce his own architecture description language called XCD.