Hide navigation sidebar

Hide table of contents sidebar

Skip to content

Toggle site navigation sidebar

Loyola University Chicago COMP 335 Lecture Notes v25s.1

Toggle table of contents sidebar

Loyola University Chicago COMP 335 Lecture Notes v25s.1

Contents

1. Overview
2. Software Engineering Context
3. Foundations in Discrete Structures
4. Software Testing
5. Model Checking
6. Runtime Verification
7. Summary
8. Appendix: Course Software
9. Appendix: Additional Resources
10. Appendix: Course Syllabi
11. Appendix: TODO

Toggle table of contents sidebar

9. Appendix: Additional Resources

Todo

Under construction for spring 2024!

Course examples on GitHub (subject to reorganization)

10. Appendix: Course Syllabi

8. Appendix: Course Software

Copyright © 2022-Present, Konstantin Läufer

Made with Sphinx and @pradyunsg's Furo