Subject
ECS 261
Title
Program Verification
Status
Active
Units
4.0
Effective Term
1997 Fall Quarter
Learning Activities
Lecture: 3 hours
Discussion: 1 hour
Discussion: 1 hour
Description
Methods of proving correctness of programs with respect to formal specifications, with attention to those suited for employing automated deduction.Logic background, symbolic execution, techniques suited to iterative programming, methods from denotational semantics, termination, dynamic logic and proofs of concurrent programs.
Prerequisites
PHI 112; or MAT 125 or familiarity with first-order logic; knowledge of an integrative and functional programming language.