Review of mathematical foundations for formal methods; Formal languages and techniques for specification and design including specifying syntax using grammars and finite state machines; Analysis and verification of specifications and designs; Use of assertions and proofs; Automated program and design transformation.
Prerequisite: CSC 3114
American International University-Bangladesh (AIUB)
408/1, Kuratoli, Khilkhet,
Dhaka 1229, Bangladesh