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.


(3+0+0) 3 ECTS 8

Contact us

Department of Computer Engineering, Boğaziçi University,
34342 Bebek, Istanbul, Turkey

  • Phone: +90 212 359 45 23/24
  • Fax: +90 212 2872461

Connect with us

We're on Social Networks. Follow us & get in touch.