SWE 593 Formal Methods in Software Verification and Validation

Catalog Description: 

Propositional, predicate, and temporal logics. Formal systems and system modeling. Program and software verification and validation. Model checking. Basics of theorem proving. Resolution, natural deduction, and equality reasoning. Binary decision diagrams. Formal specification environments and applications. Case studies.

Credits: 

(3+0+0) 3 ECTS 8

Bize Ulaşın

Bilgisayar Mühendisliği Bölümü, Boğaziçi Üniversitesi,
34342 Bebek, İstanbul, Türkiye

  • Telefon: +90 212 359 45 23/24
  • Faks: +90 212 2872461
 

Bizi takip edin

Sosyal Medya hesaplarımızı izleyerek bölümdeki gelişmeleri takip edebilirsiniz