2019-2020 Graduate Catalog 
    
    Sep 25, 2022  
2019-2020 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
C or better in CS 202 and 303, or A- or better in CS 500.

When Offered
Every Spring


Click here for the Fall 2022 Class Schedule

Click here for the Spring 2023 Class Schedule

Click here for the Summer 2023 Class Schedule




Add to Portfolio (opens a new window)