CS 6133

Software Specification and Verification. (3-0) 3 Credit Hours

University of Texas at San Antonio · UGRD · Fall 2026

1 section

Catalog description

Prerequisite: CS 5103 . This course introduces the theory and practice of formal methods for the specification and verification of computer-based systems. It emphasizes various techniques for modeling behavior of sequential and concurrent systems and reasoning about properties of models using automated analysis tools. This course has Differential Tuition. Course Fee: GA02 $90; IUCA $45.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 3 hours ago

001

Availability not recently verified

Class #texas_san_antonio-1577Fall 2026UGRD

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?