Apply to USF Now | Graduate Admissions | Events & Workshops | Giving to the Office of Graduate Studies

Graduate Course Proposal Form Submission Detail - CDA5416

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


  1. Department and Contact Information

    Tracking Number Date & Time Submitted
    5046 2014-07-22
     
    Department College Budget Account Number
    Computer Science and Engineering EN 210800
     
    Contact Person Phone Email
    Hao Zheng 8139744757 zheng@cse.usf.edu

  2. Course Information

    Prefix Number Full Title
    CDA 5416 Introduction to Computer-Aided Verification

    Is the course title variable? N
    Is a permit required for registration? N
    Are the credit hours variable? N
    Is this course repeatable?
    If repeatable, how many times?

    Credit Hours Section Type Grading Option
    3 C - Class Lecture (Primarily) R - Regular
     
    Abbreviated Title (30 characters maximum)
    Intro to Comp-Aid Verification
     
    Course Online? Percentage Online
    C - Face-to-face (0% online) 0

    Prerequisites

    CDA 3201, COT 3100, COT 4400, COP 4530

    Corequisites

    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.


  3. Justification

    A. Please briefly explain why it is necessary and/or desirable to add this course.

    Offered as enrichment course (not part of program/concentration/certificate)

    B. 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.

    C. Has this course been offered as Selected Topics/Experimental Topics course? If yes, how many times?

    Yes, 3 or more times

    D. 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


  4. Other Course Information

    A. 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.

    B. 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.

    C. Major Topics

    Basic concepts of verification and its importance and impact on our society

    System modeling

    Correctness/requirement specification.

    Simulation

    Emulation

    Formal verification and static analysis

    Case studies

    D. Textbooks

    No required textbook

    E. Course Readings, Online Resources, and Other Purchases

    Necessary material is handed out by the instructor.

    F. 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.

    G. 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%

    H. 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,

    http://usfweb2.usf.edu/usfgc/ogc%20web/currentreg.htm)

    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: (http://usfweb2.usf.edu/usfgc/gc_pp/acadaf/gc10-045.htm)

    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.

    I. Policy on Make-up Work

    A verifiable proof such as a police report and a doctor's note is required.

    J. Program This Course Supports

    Computer science and computer engineering


  5. Course Concurrence Information



- if you have questions about any of these fields, please contact chinescobb@grad.usf.edu or joe@grad.usf.edu.