| Course Code | Course Name | Credits | Hours |
|---|---|---|---|
| C755004 | Computational Logic and Software Verification | 3.0 | 3 |
| Description | Mathematical logic is an important foundation of various fields in theoretical computer science. This course focuses on its applications from software/program verification to machine-checkable proofs. Through various tools like SAT/SMT solvers and proof-assistant Coq, this course will cover the following topics: proportional logic, first-order logic, satisfiability module theory, model checking and program verification. | ||