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… Continue reading End of the System Verification Forum