CodePlexProject Hosting for Open Source Software
10:31 PM(1 post)
first post: ramanala wrote: Hello,
I am a beginner in using verification tools. I came across...
5:21 PM(1 post)
first post: ddspog wrote: I've ran all steps on https://specsharp.codeplex.com/wikipage?title...
12:14 AM(1 post)
first post: TheodoreNorvell wrote: It seems almost any example I put into http://rise4fun.com/SpecShar...
8:27 AM(5 posts)
first post: YannickMoy wrote: Hi,
I know Spec# is no longer developed, but I'd like to check if...
Oct 7, 2013
4:29 PM(2 posts)
first post: TheodoreNorvell wrote: The subject says it all: Is there a way to run Spec# under VS 2012...
May 1, 2013
9:05 PM(3 posts)
first post: paolanto wrote: Hello.
I have a question, if anybody has a minute.
The Spec# tu...
Jan 17, 2013
10:28 PM(3 posts)
first post: jagadeest wrote: a
Jan 13, 2013
2:33 PM(3 posts)
first post: AnkitDixit wrote: Does Spec# support nested use of quantifications. If it does, can ...
Jan 4, 2013
9:58 AM(3 posts)
first post: AnkitDixit wrote: When I try to write a simple program postcondition, which should b...
Dec 26, 2012
9:48 PM(1 post)
first post: JoanVenge wrote: Are there anyone who feels the same way? Spec# seems like it's tho...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions