Spec# vs Dafny

first post: ramanala wrote: Hello, I am a beginner in using verification tools. I came across...

On Binaries inst. I can't see Spec# Project Template on Visual Studio 2010

first post: ddspog wrote: I've ran all steps on https://specsharp.codeplex.com/wikipage?title...

Spec# on RISE4fun

first post: TheodoreNorvell wrote: It seems almost any example I put into http://rise4fun.com/SpecShar...

contracts and virtual methods

first post: YannickMoy wrote: Hi, I know Spec# is no longer developed, but I'd like to check if...

latest post: YannickMoy wrote: Thanks Peter. Gary Leavens answered me the same thing on jmlspecs-i...

Is there a way to run Spec# under VS 2012 or VS2013?

first post: TheodoreNorvell wrote: The subject says it all: Is there a way to run Spec# under VS 2012...

latest post: wuestholz wrote: Hi, currently, there is no straight-forward way of running Spec# w...

Using a cloned object as if it were newly instantiated - verifier complaining about 'modifies' clause

first post: paolanto wrote: Hello. I have a question, if anybody has a minute. The Spec# tu...

latest post: paolanto wrote: Hello. As expected, it worked. Thank you very much! Cheers, Paolo

a

first post: jagadeest wrote: a

latest post: jagadeest wrote: a

Nested use of Quantifiers

first post: AnkitDixit wrote: Does Spec# support nested use of quantifications. If it does, can ...

latest post: ankitdixit wrote: Thanks

Problem while trying to use the quantifiers in pre-post condition

first post: AnkitDixit wrote: When I try to write a simple program postcondition, which should b...

latest post: ankitdixit wrote: I am not talking about any specific example, but in general. The p...

Spec# is what C# 1.0 should have been

first post: JoanVenge wrote: Are there anyone who feels the same way? Spec# seems like it's tho...