Sign In

 CSE 622: Formal Derivation Of Programs

​Course Information

Designation:   Required Course

Course Level:   Graduate


Prerequisite(s) by Topic: 

Consent of the Instructor

Catalog Description: 

Predicate calculus. Program semantics of guarded commands. Postconditions and specifications. Weakest preconditions. Weakest liberal preconditions. Loop invariants. Termination and non-termination. Partial and total functions. Nondeterminacy. Standard techniques in program derivation. Examples of program derivation.​