The Vdm Toolbox
Advertisement
VDMJ v.2.0.1
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.
Advertisement
ModbusTCP Toolbox v.1 3
The toolbox is connected with the bus controller over an Ethernet network. The PC on which the ModbusTCP toolbox is running must have network access (e.g. Intranet) to the controller that should be managed (or to several controllers at the same ...
Recovery Toolbox for Address Book v.1.2.21
The Recovery Toolbox for Address Book tool makes it possible to recover contact information from the Windows Address Book where data used by the mail clients Microsoft Outlook and Outlook Express (wab files) is stored.
With Recovery Toolbox for Address ...
Blueback Toolbox v.1 1
Blueback Toolbox is a new and useful software that you can easy get it on your computers. A powerful software that you can get it for free.
The Blueback Toolbox suite includes the following 4 different modules:
- Blueback Geophysics Toolbox
...
MegaMillions Checker Standard v.4.0
If you're one of the millions of people playing the lottery and find yourself shuffling through lottery tickets from the Mega Millions, PowerBall or other state lottery games, then you need to try Lottery Toolbox Software Solutions! The unique set of ...
ImageDIG v.2.0.0007
Complete control of the graph windows such as Labels, Legends, Grids, Colors, etc through the Graph Toolbox.
Import image from the clipboard or from a TWAIN compatible device directly into the 2D or 3D scanner image box including Web images.
Grammar Quest v.1.5.0.1
Teachers can even create different classes, track individual and class progress and even print worksheets for the class from the Teacher Toolbox. Every lesson is different and features different ways of scoring points for correct answers. The quests ...
Fibcharts Golden Spiral v.1.0.0.9
You can then draw trend lines, fibonacci retracements and spirals using the Fibcharts toolbox. Once you are finished you can save your work as an image file for later reference.
Gantt Chart Builder System v.6.2.1
TE Clear the chart, TE Access to the Builder Toolbox. This provides options to automatically populate roll-up tasks and also to automatically mark milestones based on the dates provided. TE Configure the chart presentation options. See below for a sample ...
NOV User Interface for .NET v.2016.1
The UI toolbox that NOV implements is built on top of the NOV Document Object Model (DOM), which ensures that it implements the latest standards and technologies that the W3C (World Wide Web Consortium) has to offer, and extends them with ...
CADtools for Adobe Illustrator v.7.0.2
Construct title blocks for professional layoutCADtools is a plug-in that installs 67 drawing, editing, labeling and dimensioning tools inside the Illustrator toolbox. The tools are organized into 8 groups:
1. 2D Drawing
2. 2D Dimensioning
3.
BabyAlbumDIY! v.2.4
4: About decorations
If you like, you can expand the decoration toolbox by clicking E, and add decorations into your photo by double clicking.5: Save
All the templates of BabyAIbumDIY are designed for the purpose of high-resolution image printing.
LECTURNITY v.4.0
With the support of the LECTURNITY Toolbox you can adjust your slides at any time according to the required situation. Save time with intelligent search functions LECTURNITY offers far more than a traditional screen recording. LECTURNITY OCtunderstandsOCL ...
BluePrintTools-Pro v.2.1.15
BPT-Pro consists of 13 high quality tools, accessed through the Illustrator toolbox, with a convenient information toolbox, giving users the familiarity of the Illustrator interface. BPT-Pro not only can display measurements of all or parts of segment ...