Graduate Studies Reports Access

Graduate Course Proposal Form Submission Detail - CDA5416
Tracking Number - 5046

Edit function not enabled for this course.

Current Status: Approved by SCNS - 2015-04-01
Campus: Tampa
Submission Type: Change
Course Change Information (for course changes only): Change the title from Introduction to Computer-Aided Verification to "Computer System Verification" Change abbreviated title to Computer System Verification
Comments: In review 9/4/14; to GC. Pending information; emailed 10/16/14. updated 11/14/14. GC Appd 2/10. To USF Sys 2/27/15.. Approved effective 4/1/15

Detail Information

  1. Date & Time Submitted: 2014-07-22
  2. Department: Computer Science and Engineering
  3. College: EN
  4. Budget Account Number: 210800
  5. Contact Person: Hao Zheng
  6. Phone: 8139744757
  7. Email:
  8. Prefix: CDA
  9. Number: 5416
  10. Full Title: Introduction to Computer-Aided Verification
  11. Credit Hours: 3
  12. Section Type: C - Class Lecture (Primarily)
  13. Is the course title variable?: N
  14. Is a permit required for registration?: N
  15. Are the credit hours variable?: N
  16. Is this course repeatable?:
  17. If repeatable, how many times?:
  18. Abbreviated Title (30 characters maximum): Intro to Comp-Aid Verification
  19. Course Online?: C - Face-to-face (0% online)
  20. Percentage Online: 0
  21. Grading Option: R - Regular
  22. Prerequisites: CDA 3201, COT 3100, COT 4400, COP 4530
  23. Corequisites:
  24. Course Description: Introduction to methods, algorithms and techniques for ensuring correct operations of computer systems. Topics include simulation, emulation, and static analysis approaches for verifying software and hardware designs, parallel and distributed systems.

  25. Please briefly explain why it is necessary and/or desirable to add this course: Offered as enrichment course (not part of program/concentration/certificate)
  26. What is the need or demand for this course? (Indicate if this course is part of a required sequence in the major.) What other programs would this course service? Many companies including Microsoft and Intel and government agencies such as NIST and NASA have indicated the importance of student training covered in this course.
  27. Has this course been offered as Selected Topics/Experimental Topics course? If yes, how many times? Yes, 3 or more times
  28. What qualifications for training and/or experience are necessary to teach this course? (List minimum qualifications for the instructor.) Doctorate degree plus experience with:

    Formal logic, Algorithims, Computer system design

  29. Objectives: Introduce students to the concepts of computer system verification, and its importance and impact of the society.

    Aim to complement various courses on software and hardware designs.

  30. Learning Outcomes: After successful completion of this course studesnts will:

    -understand computer system verification and the main related issues.

    -demonstrate a basic understanding of various verification approaches and their tradeoffs.

    -demonstrate basic knowledge of computer system verification in practice.

  31. Major Topics: Basic concepts of verification and its importance and impact on our society

    System modeling

    Correctness/requirement specification.



    Formal verification and static analysis

    Case studies

  32. Textbooks: No required textbook
  33. Course Readings, Online Resources, and Other Purchases: Necessary material is handed out by the instructor.
  34. Student Expectations/Requirements and Grading Policy: Approximately eight homework assignments will be given. All homework assignments are individual.

    An exam will be given around the middle of the semester.

    A list of projects will be given roughly six weeks after the semester starts. Students should form groups of two, and each group needs to pick one project from the list. At the end of the semester, each group needs to give a presentation and submit a written report for the completion of the project. Demonstration may be needed for certain projects.

  35. Assignments, Exams and Tests: Students will demonstrate their knowledge and understanding through a number of homework assignment, an exam, and a project. Students will be evaluated following the matrix given below.

    Homework 30% of final grade

    Exam 30%

    Project 40%

  36. Attendance Policy: Course Attendance at First Class Meeting Policy for Graduate Students: For structured courses, 6000 and above, the College/Campus Dean will set the first-day class attendance requirement. Check with the College for specific information. This policy is not applicable to courses in the following categories: Educational Outreach, Open University (TV), FEEDS Program, Community Experiential Learning (CEL), Cooperative Education Training, and courses that do not have regularly scheduled meeting days/times (such as, directed reading/research or study, individual research, thesis, dissertation, internship, practica, etc.). Students are responsible for dropping undesired courses in these categories by the 5th day of classes to avoid fee liability and academic penalty. (See USF Regulation Registration - 4.0101,

    Attendance Policy for the Observance of Religious Days by Students: In accordance with Sections 1006.53 and 1001.74(10)(g) Florida Statutes and Board of Governors Regulation 6C-6.0115, the University of South Florida (University/USF) has established the following policy regarding religious observances: (

    In the event of an emergency, it may be necessary for USF to suspend normal operations. During this time, USF may opt to continue delivery of instruction through methods that include but are not limited to: Blackboard, Elluminate, Skype, and email messaging and/or an alternate schedule. Its the responsibility of the student to monitor Blackboard site for each class for course specific communication, and the main USF, College, and department websites, emails, and MoBull messages for important general information.

  37. Policy on Make-up Work: A verifiable proof such as a police report and a doctor's note is required.
  38. Program This Course Supports: Computer science and computer engineering
  39. Course Concurrence Information:

- if you have questions about any of these fields, please contact or