Course Details

Course Details
Course No. : 1003341
Course Name : Formal Methods
Prerequisite : 1001251
Credit  : 3
Theory credit : 3
Practical Credit : 0
Course Discription : Formal mechanisms for specifying, validating and verifying software systems, Program verification, Formal specifications via algebraic specifications, Abstract specifications, Integration of formal methods with existing Languages, Object-oriented approaches.
Syllabus : Download
This course offered through Blackboard(www.hlms.hu.edu.jo)
Not Offered