Go to Main Content

SCT WWW Information System



Detailed Course Information


Spring 2014 Semester
May 22, 2018
Transparent Image
Information Select the desired Level or Schedule Type to find available classes for the course.

CS 6535 - Engineering Reliable Software
Continues the exploration of several themes from CS 5010: unit testing, random testing, and logical reasoning about software. Specifically revisits the idea of systematic design and its connection to making logical claims about the workings of programs. After an introduction to the ACL2 programming language and theorem prover, offers students an opportunity to redesign interactive games (e.g., “Space Invaders”) and work on turning them into reliable projects. Prereq. CS 5010 or permission of instructor; restricted to students in the College of Computer and Information Science.
4.000 Credit hours
4.000 Lecture hours

Levels: Graduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
GSCS Computer & Info Science

Must be enrolled in one of the following Levels:     
Must be enrolled in one of the following Colleges:     
      Coll of Computer & Info Sci
Must be enrolled in one of the following Classifications:     

Graduate level CS 5010 Minimum Grade of C-

Return to Previous New Search
Transparent Image
Skip to top of page
Release: 8.7.2