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)
Ka-66/1, Kuratoli Road, Kuril, Khilkhet,
Dhaka 1229, Bangladesh