For those of you interested in formal verification & semantics recommend you have a look at the K framework[0] that can be used for easily creating Formal Semantics.

[0]: https://runtimeverification.com/blog/k-framework-an-overview...