Automated Verification

3 credits · Graduate School

Systems verification and validation, industrial case studies, propositional and predicate logic, syntax and semantics of computational tree and linear time logics, binary decision diagrams, timed automata model and real-time verification, hands on experience with model checking using the SMV, SPIN and UPPAAL tools, and state reduction techniques. [3]