|
|
|
May 31, 2023
|
|
CS 6860 - [Logics of Programs]
Fall. 4 credits.
Prerequisites: CS 4810 , CS 6810 , and (CS 4860 /MATH 4860 or MATH 4810 ).
Staff.
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)
|
|
|
