ITCS 324: Software Analysis & Verification: (2-2-3) The principal aim of this course is to hone skills in the analysis, development and testing of code, executing a program, with a view to improving efficiency or locating certain types of faults. The two topics, of software analysis and software testing, are linked through considering software analysis techniques that may be used to support testing. Students actively participate in the main software development activities that straddle the production of an initial implementation and the delivery of the complete system. (Prerequisite: ITCS 311)