Skip to main content

Formal Verification.

Faculty of ScienceComputer Science
Credits3
·
Semester offeredSemester 1 (Fall), Semester 2 (Winter)
·
Last updated3 months ago

Description

Propositional logic - syntax and semantics, temporal logic, other modal logics, model checking, symbolic model checking, binary decision diagrams, other approaches to formal verification.

Course outline
Checking availability…

Don't see what you need?

Course match finds an equivalent course at another school. Submit a request asks our team to add a missing equivalency.

Preview the 5 closest equivalencies already indexed in our system

No matches found for this course.