Lecture Formal methods in software engineering - Lecture 28 presents the following content: Functions, key search, binary search functions, program construction, constructing conditional statements, output variables, ghost variables, simultaneous assignment statements, . |