hatsugai/SyncStitch

A Refinement Checker based on CSP

SyncStitch

A Refinement Checker based on CSP

Copyright (C) 2020-2022 Hisabumi Hatsugai

Documents

• SyncStitch Reference

Dependencies

• ocaml-csp
• Guedra
• Guedra-draw

In addition, GTK+ 3 is needed for macOS, which can be installed through Homebrew:

brew install gtk+3

Install

Download an executable file from the release page.

Build

see and run build-SyncStitch.sh