Wastelands Conferencing - Using Spec# for formal specifications.