ECE 478

Formal Verification.

North Dakota State University · UGRD · Fall 2026

1 section

Catalog description

Formal verification methods for hardware, software, and embedded systems such as theorem proving, property-based verification, equivalence checking, notions of correctness such as refinement, methods used in computer-aided verification including BDDs and SAT procedures. Prereq: ECE 275 and ECE 173 or CSCI 160 . Dual-listing: ECE 678 .

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #north_dakota_state-2004Fall 2026UGRD3 credits

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?