Course Number
CMPSC 267
Internal Course Number
267
Level
Graduate
Units
4
Faculty
Course Description

Prerequisite: Computer Science 130A-B and 138.
Covers automated verification algorithms and tools. Topics include: temporal logics, fixpoint characterizations of temporal properties, model checking, symbolic verification, explicit-state verification, verification using automated theorem provers, automated abstraction.