Go to Main Content

SCT WWW Information System



Detailed Course Information


Fall 2019 Semester
Jul 28, 2021
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. Students who do not meet course prerequisites may seek permission of instructor.
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:     
      Khoury Coll of Comp Sciences
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