Artefact submission for the paper "Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks"

Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti

doi:10.5281/zenodo.10144186

Published November 16, 2023 | Version v4

Software Open

Artefact submission for the paper "Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks"

1. University of Camerino

This entry is the artifact submission for the paper "Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks" submitted to the 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems.

Files

FORTE-artefact-submission.zip

Files (5.2 GB)

Name	Size	Download all
FORTE-artefact-submission.zip md5:aa1b8e9dee001983885f4ea2c60e5a41	5.2 GB	Preview Download

Citations

Oops! Something went wrong while fetching results.

125

Views

Downloads

Show more details

	All versions	This version
Views	125	27
Downloads	34	4
Data volume	173.0 GB	20.9 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: November 16, 2023
Modified: November 16, 2023

Artefact submission for the paper "Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks"

Creators

Description

Files

FORTE-artefact-submission.zip

Files (5.2 GB)