CSCI 5135

(3) Computer-Aided Verification

University of Colorado Boulder · UGRD · Fall 2026

1 section

Catalog description

Equivalent - Duplicate Degree Credit Not Granted: ECEN 5139 Requisites: Restricted to graduate students only. Recommended: Prerequisites ECEN 2703 and general proficiency in discrete mathematics and programming. Additional Information: Departmental Category: Programming Languages

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #colorado_boulder-2279Fall 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?