Averest is implemented in F# which requires a .NET or mono framework for the execution of the generated executables. Windows 7, Windows Vista already contain the .NET framework, while an additional installation of .NET may be necessary for Windows XP, and an installation of mono might be necessary for Mac OSX and Linux versions.
For Windows XP, you may therefore have to first install .NET by downloading the automatic installer from Microsoft. We found out that .NET 4.0 is not sufficient when installed on Windows XP with Service Pack 2, but you need .NET 3.5 (and .NET 4.0 can be installed in parallel).
For Linux and Mac OSX, you have to download the ".NET equivalent" Mono. We are not aware of problems with the actual version.
For the compilation and simulation of Quartz files, everything else is contained in the Averest distribution. For the further use of the generated files like the C or Verilog files, you need further compilers which are not included in Averest.
If you are interested in using model checking, we currently only offer a translation to SMV, which is a popular model checker. The files generated by SMV should run under all versions of SMV. We recommend NuSMV which is an open source project that also offers compiled binaries for Windows and Linux. For Mac OSX, you have to compile NuSMV from the source files.
For illustrating dependencies of actions, some tools generate graphs that are written in files used by the GraphViz software. Again, this software is available for free for Windows, Linux and Mac OSX under the link listed below.
See the following links for more information on the additionally required tools: