EECS 755

Software Requirements Modeling and Analysis

Index
Blog

GitHub Repo

Just updated the 755 GitHub repo to include pset14 with solutions. Also did a bit of reorganization. I’m working on getting the lecture video pushed over, but not quite there yet.

Really only one rule for the repo - don’t share it. Chlipala’s work is licensed and solutions to his problem sets should not be made public.

Please send me your GitHub ID if you want access and I’ll add you.