CodePlexProject Hosting for Open Source Software
Member SinceJanuary 18, 2010 Last VisitMay 21, 2013
Contact
BoogiePartners
Dafny: An Automatic Program Verifier for Functional Correctness Spec#
May 22, 2013 - Dafny: An Automatic Program Verifier for Functional Correctness: 3c5b5575ccd2, Minor change to a project file
May 22, 2013 - Dafny: An Automatic Program Verifier for Functional Correctness: 1155a064452b, Minor change to a project file
May 21, 2013 - Dafny: An Automatic Program Verifier for Functional Correctness: 0c6377402e68, Minor change to a project file
May 21, 2013 - Dafny: An Automatic Program Verifier for Functional Correctness: 1f0aea125b50, Minor change to a project file
May 21, 2013 - Dafny: An Automatic Program Verifier for Functional Correctness: 8038418ad756, Updated a test to verify with Z3 4.3.0.
May 21, 2013 - Dafny: An Automatic Program Verifier for Functional Correctness: 3acd15ec68c4, Updated several project files. Note that the 'boogie' directory is expected to be a sibling of the 'dafny' directory.
Microsoft Research Boogie Side effect analysis for .NET Spec#
VCC: bugfix