@@ -11,6 +11,7 @@ Gryphon is compatible with **Windows**, **Mac**, and **Ubuntu Linux**. For Mac
...
@@ -11,6 +11,7 @@ Gryphon is compatible with **Windows**, **Mac**, and **Ubuntu Linux**. For Mac
# Installing Gryphon
# Installing Gryphon
The installation approach is different based on the operating system you are using. **Windows** and **Mac** installations currently additionally require access to a Gryphon server to generate traces and to perform syntax checking.
The installation approach is different based on the operating system you are using. **Windows** and **Mac** installations currently additionally require access to a Gryphon server to generate traces and to perform syntax checking.
To install and run Gryphon directly, please follow the steps for your operating system.
To install and run Gryphon directly, please follow the steps for your operating system.
Thanks to contributions from Ben Payne, Gryphon can alternatively be run in **Docker** without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.
Thanks to contributions from Ben Payne, Gryphon can alternatively be run in **Docker** without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.
