courses.uww.edu »

SOFTWARE SPECIFICATION AND VERIFICATION

2019 Summer Term

3 Units

Computer Science 778

An overview of languages, logics, techniques, and tools used to specify, analyze, and verify software systems. Students apply these formal methods to model software systems and verify their correctness, study industrial applications of formal methods for critical software components, and research new developments in this area.

Other Requirements: PREREQ: ADMISSION TO GRADUATE PROGRAM IN COMPUTER SCIENCE

Class Schedule

Disclaimer

This schedule is informational and does not guarantee availability for registration.
Sections may be full or not open for registration. Please use WINS if you wish to register for a course.

Section Details	Meeting Details & Topic		Instructor	Syllabus

01-LEC 1510 3 Units	05/28 - 07/06 (6W1)	W 5:00 PM - 7:30 PM	Zachary Oster	Log in to access this syllabus
	MG0125		Zachary Oster
	05/28 - 07/06 (6W1)		Zachary Oster
	WEB BASED		Zachary Oster
	This is a hybrid course using Canvas and other technology for delivery of part of the course.