Summary: If you do NOT have Visual Studio, here are some tips to get started.
Nearby: FrequentlyAskedQuestions

It seems that running Spec# without Visual Studio (at least the Standard edition, Express won't do either) is no longer supported.


Choose a version of the .Net Common Language Runtime (CLR) which you wish to use, and download the free .Net SDK from Microsoft here (if you haven't done so already, you may also need to install the Frameworks' "Redistributable Package")

Download the appropriate version of the Spec# compiler from the Spec# Website

Use an editor to create a source file named Program.ssc.
Make the file Program.ssc look like this.

---

using System;

public class Program
{
static void Main()
{
string! message = "Spec# says hello!";
Console.WriteLine(message);
Console.Read();
}
}

---

Now, use the command line compiler of Spec#, ssc.exe, to compile this. Choose the compile options to generate a console application.

Execute the resulting exe.