Logic and Programming

1.5 credits · Undergraduate

Application of logical systems to modeling and verification. Propositional logic, the satisfiability problem, first-order logic, satisfiability modulo theories, temporal logic and model checking, advanced topics. Automated verification and tools supporting automation.