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 v25s.1
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
Back to top
View this page

6. Runtime Verification

Todo

Under construction for spring 2025

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

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