logo
libmg
verifier
Initializing search
    GitHub
    • Home
    • Tutorials
    • How-To Guides
    • Reference
    • Explanation
    GitHub
    • Home
    • Tutorials
      • CTL Model Checking
      • Graph Convolutional Networks
    • How-To Guides
      • Installation
      • How to define a dataset
      • How to define functions
      • How to define a compiler
      • How to create, run and optimize models
      • Visualization procedures
    • Reference
      • Grammar Reference
        • compiler
        • data
        • explainer
        • language
        • normalizer
        • verifier
        • visualizer
    • Explanation
      • Syntax and Semantics of μG
      • Normalization
      • Explanation of μG models

    verifier

    October 26, 2025
    Previous
    normalizer
    Next
    visualizer
    Copyright © 2023 Matteo Belenchia – Change cookie settings

    Cookie consent

    We use cookies to recognize your repeated visits and preferences, as well as to measure the effectiveness of our documentation and whether users find what they're searching for. With your consent, you're helping us to make our documentation better.