Potential users who would like to use VeriSoft for significant projects are strongly encouraged to contact us, since there are likely to require extensions, information and services not included in the free distribution package available from this web-site. Please contact us for any information concerning the support we can provide or for obtaining a commercial license for VeriSoft. Please mention your name, affiliation, address, and phone number in your email message.
All comments are welcome.
Please do not hesitate to send us your questions and suggestions.