Tanım: Sistem dizayn ve analizi icin bicimsel metodlarin teori ve uygulamasina otomatik algoritmik teknikler ile giris. Bicimsel dogrulama. Fonksiyonel dogruluk. Model denetimi. Calisma zamaninda dogrulama. Simülasyon sirasinda dogrulama. Esdegerlik denetimi. Zamansal mantik. Ikili karar semalari. Dogrulama tabanli model denetimi. Kismi yontemle azaltma. Donanim ve yazilim tabanli uygulamalarin dogrulamasi.