CodePlexProject Hosting for Open Source Software
Member SinceJuly 8, 2009 Last VisitMay 18, 2012
Contact
Microsoft Research Boogie Spec#
BoogiePartners VACID solutions
April 25, 2012 - Microsoft Research Boogie: Posted to discussion: Dafny: cannot generate model file
April 20, 2012 - Microsoft Research Boogie: Posted to discussion: Dafny: cannot generate model file
April 20, 2012 - Microsoft Research Boogie: Commented work item: Boogie Hangs
April 7, 2012 - Microsoft Research Boogie: Closed work item: Boogie: Exception when assigning to a triple nested map
April 5, 2012 - Microsoft Research Boogie: Posted to discussion: Encoding of spatial conjunction in Boogie
April 4, 2012 - Microsoft Research Boogie: Posted to discussion: Encoding of spatial conjunction in Boogie
April 4, 2012 - Microsoft Research Boogie: Posted to discussion: Dafny: termination with datatypes problem
April 4, 2012 - Microsoft Research Boogie: Commented work item: Boogie: Exception when assigning to a triple nested map
April 4, 2012 - Microsoft Research Boogie: Posted to discussion: Boogie: Cannot show error messages in VS2010
Microsoft Research Boogie
No forks.