COMP 525
3 credits
Formal Verification

Computer Science (Sci): Propositional logic - syntax and semantics, temporal logic, other modal logics, model checking, symbolic model checking, binary decision diagrams, other approaches to formal verification.

Offered by: Computer Science