Dec 30, 2024  
2017-2018 Undergraduate Catalog 
    
2017-2018 Undergraduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

CS 471 - Program Derivation


Introduction to the formal derivation of computer programs from program specifications. Review of the logical and notational prerequisites needed for formal derivation. Guarded commands and the predicate transformer WP. Developing loops from invariants. Program development via sequence of refinements.

Credits 3
Prerequisites   and  . Prerequisites must be completed with a grade of C or better. 
Notes  This course is crosslisted with CS 671. Credit at the 600-level requires additional work.