Drafts

  • What is Runtime Verification? [May '25]
    A little overview on one of my old research topics
  • RV part 2 or 3 or whatever [Jan '25]
    A little primer on one of my old research topics