NEWS
- NEWS : VDMTools8.2 release!
-
2009/6/4 10:52:05 1339 reads
You can get the latest version of VDMTools Lite by logging in this web!
VDMTools Lite (VDM++ v8.2, VICE v8.2 beta, VDM-SL v8.2), the latest version of VDMTools Lite, has been released on Jun 4, 2009.
Please see here about how to use the new function of this version, and an UML link.
Note:
Correction is added also to the TeX style file (vdmsl-2e.sty, vpp.sty) of VDMTools enclosure on the relation which is adding the correction in the above-mentioned TeX output.
Since there is a possibility that compile of TeX may not pass if you use a former style file, please use the newest style file.
Change log:
- "UML Link" is made to correspond to qualifier.
- Corresponding "External Editor" is added.
- Output correction in the TeX output of "Pretty Prints".
- Improved stability of this software.
- NEWS : Information of website maintenance.
-
2009/6/2 13:33:58 734 reads
The Web site is maintained between from 6/4 (Thursday) 9:30 to 12:00(JST).
It becomes impossible to use all the services of VDM information web site while maintaining it.
- NEWS : We will release a new version 8.2 of VDMtools soon.
-
2009/6/2 13:29:34 842 reads
We will release a new version 8.2 of VDMtools soon, so please keep an eye on it!
- NEWS : VDMTools 8.1 release!
-
2008/5/27 17:00:00 2168 reads
You can get the latest version of VDMTools Lite by logging in this web!
VDMTools Lite (VDM++ v8.1, VICE v8.1, VDM-SL v8.1), the latest version of VDMTools Lite, has been released on May 27, 2008.
- NEWS : We will release a new version of VDMtools soon.
-
2008/4/18 16:05:15 2108 reads
We will release a new version of VDMtools soon, so please keep an eye on it!
- NEWS : VDMTools VICE, VDMTools 8.0 release!
-
2007/7/25 17:10:58 2805 reads
You can get the latest version of VDMTools Lite by logging in this web!
VDMTools Lite (VICE v8.0, VDM++ v8.0,VDM-SL v8.0), the latest version of VDMTools Lite, has been released on July 25, 2007.
- NEWS : How to get the academic license of vdmtools.
-
2006/9/8 15:13:30 3052 reads
The VDMTools full-functionality version is available to academic users, for non-commercial research and teaching purposes.
To obtain a license and binaries, please apply from the (vdmtools)Registration after logging in the site.
- NEWS : Academic users list of VDMTools
-
2006/9/4 13:16:26 3461 reads
We published academic users list of VDMTools in the page of VDMTools.
