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