Hi I would like to grasp the theory behind Maude [1]

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 would like to do my experiments in Python or Julia or Golang (Python Software Engineering for Data Engineering is my main job). I am very open though regarding the programming language, especially if there is some code.

[1] https://maude.cs.illinois.edu/wiki/Rewriting_Logic

Hi I would like to grasp the theory behind Maude [1], [2]

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 would like to do my experiments in Python or Julia or Golang (Python Software Engineering for Data Engineering is my main job). I am very open though regarding the programming language, especially if there is some code.

[1] https://maude.cs.illinois.edu/wiki/Rewriting_Logic

[2] https://maude.cs.uiuc.edu/papers/

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.

[1] https://maude.cs.illinois.edu/wiki/Rewriting_Logic

Hi I would like to grasp the theory behind Maude [1]

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 would like to do my experiments in Python or Julia or Golang (Python Software Engineering for Data Engineering is my main job). I am very open though regarding the programming language, especially if there is some code.

[1] https://maude.cs.illinois.edu/wiki/Rewriting_Logic

Hi I would like to grasp the theory behind Maude (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.

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.

[1] https://maude.cs.illinois.edu/wiki/Rewriting_Logic