CSE503: Software Engineering Software architecture
CSE503: Software Engineering Model checking
CSE503: Software Engineering Electrifying specifications