CodePlexProject Hosting for Open Source Software
May 1
9:05 PM(3 posts)
first post: paolanto wrote: Hello. I have a question, if anybody has a minute. The Spec# tu...
Jan 17
10:28 PM(3 posts)
first post: jagadeest wrote: Is there any possibility to collect the different types of object ...
Jan 13
2:33 PM(3 posts)
first post: AnkitDixit wrote: Does Spec# support nested use of quantifications. If it does, can ...
Jan 4
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...
Nov 27, 2012
2:07 PM(4 posts)
first post: othrez wrote: Hello, My question is related to sorting algorithms, and how to fu...
Oct 17, 2012
9:59 PM(5 posts)
first post: Ergotron wrote: Thanks for your help in an earlier thread. I do now have Spec# ins...
Oct 16, 2012
3:24 PM(9 posts)
first post: Ergotron wrote: Hi, I've installed Spec# in Visual Studio. When I create a new Spe...
Sep 25, 2012
6:49 PM(16 posts)
first post: admiristrator wrote: Is a Visual Studio 2010 compatible Spec# package in the works?Why i...
Sep 19, 2012
1:50 PM(2 posts)
first post: bshelajev wrote: Hello, I am reading "Modular Verification of Static Class Invarian...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions