Course URL:

Course Developed/Taught By:

Developer/Instructor's URL:

Institution Course Offered At:

In what department is the course offered? (Select all that apply)

	Computer Science
	Computer or Electrical Engineering
	Mathematics
	Other

What areas does the course cover? (Select all that apply)

	Hardware Verification
	Software Verification
	Software Modeling/Specification
	Software Engineering
	Introductory Computer Science
	Logic
	Other

What level is the course? (Select all that apply)

	Undergraduate
	Graduate
	Other

What format is the course? (Select all that apply)

	Lecture
	Laboratory
	Seminar
	Other

What text (if any) is used in the course?

What software tools (if any) are used in the course?

	ACL2
	Alloy
	Bandera
	HOL
	JPF (Java PathFinder)
	Murphi
	PVS
	SMV
	SPIN
	VIS
	Other

What materials are available on the course web page? (Select all that apply)

	Lecture Notes
	Handouts
	Assignments
	Examples
	Projects
	Other

Additional comments to include with course listing:

Email address of submitter (required - please double check before submitting):