grad-methods

Today's date, 5/12, is coincidentally the number of the graduate-level formal methods course I took. Which course topic sounds most interesting?

• CTL through Kripke structures, which allow you to prove claims about the rules systems follow~
• PCTL, or Probabilistic CTL which is more complex but can prove more claims, especially when the rules aren't as well defined~
• Binary decision diagrams, used to encode sequences or rules efficiently~
• Petri Nets, and how they can be used to model complex systems~
• Markov chains, which allow you to accurately predict the likely state of a system after a period of time~
• Coverability, the subject of my final research paper, which has to do with the limits of unbounded systems~