Courses of Study 2014-2015 
    Jul 25, 2024  
Courses of Study 2014-2015 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6860 - [Logics of Programs]

Fall. 4 credits.

Prerequisites: CS 4810 , CS 6810 , and (CS 4860 /MATH 4860  or MATH 4810 ).


Topics in logics of programs and program verification. Possible topics include: Floyd/ Hoare logic, modal logic, dynamic logic, temporal logic, process logic, automata on infinite objects and their relation to program logics, the Rabin tree theorem, the modal mu-calculus, games and alternating automata, applications to type inference, set constraints, Kleene algebra.

Add to Favorites (opens a new window)