Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Loyola University Chicago COMP 335 Lecture Notes v25sp.13
Loyola University Chicago COMP 335 Lecture Notes v25sp.13

Contents

  • 1. Overview
  • 2. Software Engineering Context
  • 3. Foundations in Discrete Structures
  • 4. Software Testing
  • 5. Formal Specification
  • 6. Model Checking
  • 7. Runtime Verification
  • 8. Summary
  • 9. Appendix: Course Software
  • 10. Appendix: Additional Resources
  • 11. Appendix: Course Syllabi
  • 12. Appendix: TODO
Back to top
View this page

7. Runtime Verification

Todo

Under construction for spring 2025

Meanwhile, please refer to this tutorial on runtime verification with TeSSLa.

Next
8. Summary
Previous
6. Model Checking
Copyright © 2022-Present, Konstantin Läufer
Made with Sphinx and @pradyunsg's Furo