Courses of Study 2018-2019 
    
    Oct 15, 2019  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

[Add to Favorites]

CS 4160 - Formal Verification


     
Spring. 4 credits. Student option grading.

Prerequisite: CS 3110 .

M. Clarkson.

An introduction to formal verification, focusing on correctness of functional and imperative programs relative to mathematical specifications. Topics include computer-assisted theorem proving, logic, programming language semantics, and verification of algorithms and data structures. Assignments involve extensive use of a proof assistant to develop and check proofs.



[Add to Favorites]