Every other year
Application of predicate logic and nontruth functional logics to software design
and use. Logic programming (PROLOG), database and telecommunications schemata,
query analysis, correctness proofs for subroutines, operating system kernels,
security. Finite state machines and temporal logic applied to protocol specification.