2016-2017 Graduate Catalog 
    
    Mar 29, 2024  
2016-2017 Graduate Catalog [Archived]

Add to Portfolio (opens a new window)

CS 521 - Formal Methods

3 credits
Elements of formal logic; various approaches to automation including resolution; restrictions and search methods; inductive theorem proving; Knuth-Bendix completion; Boyer-Moore theorem-prover; applications.

Prerequisites
CS 202 and 303.


Click here for the Fall 2023 Class Schedule

Click here for the Spring 2024 Class Schedule

Click here for the Summer 2024 Class Schedule




Add to Portfolio (opens a new window)