Staff
Here is a list of Channel 9 staff members.
Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
The Verification Corner: Loop Invariants
May 03, 2010 at 11:51 AMCan the system handle overflow (e.g. if the array of cubes is so large that the cubes of higher indices exceed the maximum integer value)?
The Verification Corner - Specifications in Action with Spec#
Mar 02, 2010 at 9:34 AMVery nice, but I'd like to see the full postcondition for NextChunk. Perhaps, in your next episode, you could give an example of a postcondition containing, say, a quantified expression.