2018-2019 Graduate Catalog 
    Nov 18, 2019  
2018-2019 Graduate Catalog [Archived]

[Add to Portfolio]

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.

C or better in CS 202 and 303, or A- or better in CS 500.

When Offered
Every Spring

Click here for the Fall 2019 Class Schedule

Click here for the Spring 2020 Class Schedule

Click here for the Summer 2020 Class Schedule

[Add to Portfolio]