The System Verification Forum previously found elsewhere on this website has been shut down. Last year the level of spam became intolerable. The site was changed to make posting more difficult. This resulted in a 90% reduction in spam but a 100% reduction in relevant posts. Therefor, I have decided to discontinue the forum. In its place, please feel free to post comments to this blog.