| |
Apr 14, 2026
|
|
|
|
|
CS 521 - Formal Methods3 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.
View available class schedules
Add to Portfolio (opens a new window)
|
|