Skip to content

Tutorials

In this section you can find some tutorials to get started with libmg.

CTL Model Checking

The most complete tutorial to date, here you will get acquainted with the main features of the library by implementing a CTL model checker. This model checker was also described in a previous publication1.

Graph Convolutional Networks

In this tutorial you will implement a Graph Convolutional Network layer, and get acquainted with trainable functions in \(\mu\mathcal{G}\).

  1. Matteo Belenchia, Flavio Corradini, Michela Quadrini, and Michele Loreti. 2023. Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks. In Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings. Springer-Verlag, Berlin, Heidelberg, 37–54. https://doi.org/10.1007/978-3-031-35355-0_4 ↩