Apr 18, 2024

2012-2013 Graduate Catalog

2012-2013 Graduate Catalog [Not Current Academic Year. Consult with Your Academic Advisor for Your Catalog Year]

COSC 7352 - Advanced Symbolic Computing and Formal Verification

Cr. 3. (3-0)

Prerequisite: COSC 6352 or consent of instructor. Study of current research in symbolic computing, rewriting, automated deduction, and formal verification.