The language is called spec#, it is C# with contacts built into it.