Published October 11, 2022 | Version 1.06.653 (0652)
Software Open

Cyclone: A New Specification Language for Verifying/Testing Graph-based Structures

Authors/Creators

  • 1. Maynooth University

Description

Cyclone is a new specification language that can be used for verifying and testing graph-based structures.

Files

Cyclone_Binaries.zip

Files (55.9 MB)

Name Size Download all
md5:69433039546e42c822eb272ec212c56d
55.9 MB Preview Download