Skip to content

Commit

Permalink
added Alloy comments
Browse files Browse the repository at this point in the history
  • Loading branch information
@vinahradau
vinahradau authored May 28, 2020
1 parent 21d0d75 commit 05a6571
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,8 @@ The CID FINMA regulation was published by the Swiss Financial Market Supervisory

This Z specification can be animated using the jaza animator. Jaza is available for download as an executable on github, thanks to Mark Utting (S. References).

The Alloy specification can be executed within the Alloy Analyzer GUI.

# Project Contents

1. CIDFINMA_spec_Z.zed16 file with the Z schema definitions and operations. The file can be opened and edited with the CZT editor (S. References).
Expand Down

0 comments on commit 05a6571

Please sign in to comment.