Graduate Course Proposal Form Submission Detail - CDA5416
Edit function not enabled for this course.
Approved by SCNS
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
- 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 Hao Zheng 8139744757 firstname.lastname@example.org
- 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
CDA 3201, COT 3100, COT 4400, COP 4530
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.
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
- Other Course Information
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
Formal verification and static analysis
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
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,
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. It’s 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
- Course Concurrence Information