CS 5110 - Software Verification

Institution:

University of Utah

Subject:

Computer Science

Description:

The main goal of the course is to teach students how to rigorously verify and analyze (complex) software systems. We will study theoretical foundations underlying this task, and solve exercises and homework assignments based around actually proving example programs correct. We will also explore practical techniques behind popular verification and analysis tools, such as systematic test generation, symbolic execution, and static analysis. Students completing the course will gain a solid understanding of practical design, specification, and verification techniques and the underlying theory. Furthermore, students will leave with significant hands-on experience. Prerequisites: 'C-' or better in CS 3100 AND CS 3500 AND CS 4150

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.utah.edu

Phone Number:

(801) 581-7200

Regional Accreditation:

Northwest Commission on Colleges and Universities

Calendar System:

Semester

General Education

• No items found

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.