Texas A&M · Electrical & Comp Engr
ECEN 723 Introduction to Formal Verification
- Catalog credits
- 3
- Spring 2027 sections
- None listed
- Historical grades
- 2 section records
Grade history by instructor
Choose a term to see published sections. Bars show each letter’s share of the A–F grades in that row.
Reports checked for 12 terms from Spring 2021 through Summer 2026. The registrar suppresses small sections. Campus is unspecified in these college reports.
Spring 2026 · 2 section records
| Instructor and section | A–F grades | GPA | Source |
|---|---|---|---|
| HU JSection 600 · Engineering | A 46B 13C 0D 0F 0 59 A–F · 60 total | 3.779 | PDF p. 119 |
| HU JSection 700 · Engineering | A 8B 9C 0D 0F 0 17 A–F | 3.470 | PDF p. 119 |
Catalog and requirements
2026–2027 · Graduate and professional · Catalog excerpt
Formal verification techniques for hardware and concurrent systems; binary decision diagrams; Boolean satisfiability; equivalence checking; model checking; temporal…
Catalog checked Full official catalog entry
College Station sections
Use the Howdy schedule to confirm seats, restrictions and registration.
- Spring 2027 · No College Station sections in this snapshot.
- Fall 2026 · No College Station sections in this snapshot.
- Summer 2026 · No College Station sections in this snapshot.
- Spring 2026 · 1 section
- Fall 2025 · No College Station sections in this snapshot.
Sources checked Open Howdy Public Class Search