A graph-based specification language

Code up your verification tasks using a simple graph notation.

Graph Oriented Spec – Visualise problems and exchange ideas using graphs.
Simple Notation – No need to learn complex formalisms before writing your specification.
Online Editor – Use our newly designed online editor to unlock the full experience of Cyclone.

Online Editor

Writing your Cyclone specifications without installing anything on your local machine.

VSCode Extension

Code up your Cyclone specifications with our VSCode extension.

Command Line

Like running everything in command-line? This is for you.

Tutorial

A tutorial website for Cyclone

Reference Docs

Language reference documents

Cyclone Analyzer

A static analyzer for Cyclone

Source Code

Source code of this website

Links

This website is designed by Haoyang Lu.
Cyclone is designed by Hao Wu.
Principles of Programming Research Group, Maynooth University.
Last Updated: Wed May 01 2024