Alloy Analyzer

The Alloy analyzer can be downloaded from the Alloy home page. Here you can also find, in particular, an online tutorial for Alloy.

Installation

To install Alloy on your machine, download the file alloy4.2.jar (or alloy4.2.dmg for Mac users) and then launch it. Note that macOS High Sierra require Alloy 5.0 (which should also be fine).

Dafny

Dafny can be obtained here: https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness