CS7430 — Formal Specification Verif Syn: Reviews & Ratings

CS7430 (Formal Specification Verif Syn) course reviews and ratings at Northeastern (NEU). Average rating 3.4/5. Last taught Fall 2023. Compare instructors with TRACE + RateMyProfessor reviews.

Average rating

3.4/5

Average enrollment

17

Last taught

Fall 2023

Instructors

• Stavros Trypakis

Data updated July 2026.

View on RateMyHusky