Hi I would like to grasp the theory behind Maude [1] (and do my experiments in a programing Language, not necessarily Maude).
Are there any recommended video lecture notes, talks or introductory notes?
I have been exposed to Functional Analysis, Topology and some Term Rewriting. But I am interested in getting into this fascinating field for formal verifications.
Any help would be greatly appreciated. I target Python or Julia or Golang (Python Software Engineering for Data Engineering is my main job). I am very open though. Especially if there is some code.