Skip to main content
Course mentioned on podcasts

MIT Course on Design, Modularity, Specifications, and Verification of Large Systems

by MIT

Mentioned on 1 episode by 1 guest across our covered podcasts.

SignalCast may earn commission on purchases via these links.

Who mentioned it

  • Barbara LiskovRecommendedAuthor
    The MIT course she co-developed with John Guttag since the late 1970s — centered on design, modularity, specifications, and verification of large systems — describes exactly the competency profile developers need to audit and manage AI-generated code effectively.
    Mentioned on: a16z Podcast
MIT Course on Design, Modularity, Specifications, and Verification of Large Systems by MIT — Course mentioned on podcasts | SignalCast