Verify Definition

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications....

E-mail Verification Software is a very effective piece of software that can verify over 10 e-mails per second . It can verify single e-mails or huge lists. (Our E-mail Verification Software is multithreaded, providing high speed verifying). Our E-mail Verification Software can save time and money...

It is important to keep your mailing lists clean. Email Verify Robot will help you avoid sending out newsletters to invalid addresses. Otherwise you'll get tons of bounced messages. It's not a secret that ISP mail servers can block senders' IP for recurring sending to invalid email addresses....


Platforms: Windows, Linux

Get ready to experience high-definition with spectacular realism and depth right from your PC with PowerDVD. Ensure that you enjoy the best Blu-ray Disc 3D experience possible by testing your system and understanding the basics as to what this exciting disc format has to offer. This site provides...


Platforms: Windows

Equipped with advanced High-Definition (HD) video conversion technology,HD Video Converter can easily convert HD video formats such as AVCHD (mts, m2ts), H.264/AVC, MKV, MPEG-2 (ts), DivX, HD WMV, MPEG-4 and Quick Time.It support HD videos such as AVCHD (mts, m2ts), TS, H.264/AVC, MKV.Besides...


Platforms: Windows, Other

This software offers a solution for users who need to verify links to determine if web sites are still active. Simply enter the URLs manually or with a return delimited text file. An added feature allows you to discover links inside a web page that also can be verified. For your convenience,...


Platforms: Windows

Allows you to verify hundreds of VAT identification numbers issued by a European Member State. The verification is done against the national VAT database corresponding to the selected Member State. For the purpose of the verification, your request is sent to the national database via a secure...


Platforms: Windows

Windows based software application that reads aloud (speech enabled using TTS engine) and displays in popup window english language word pronunciation, synonyms and definition details. Never leave the web page or article you reading to find the meaning of the word. If you see a word that you do...


Platforms: Windows

jQuery based Ajax Contact Form which coded with PHP to verify "> HTML or PHP pages of the websites that run on Apache Server. It uses just one file to Validate, Process and Send the completed contact form to your e-mail address and a Direct Message notification to your Twitter account without...


Platforms: Not Applicable

FleXML reads a DTD (Document Type Definition) describing the format of XML (Extensible Markup Language) documents; it may be specified as a URI to the DTD on the web. From this FleXML produces a validating XML processor with an interface to support XML applications. Proper applications can be...


Platforms: *nix

This script is useful for making easy and human to write definition files for whatever use.For example, lets say you are writing a simulator and you need an easy, human way to define parts about a given world like light sources, obstacles, and dimensions.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

The definition system lets data entities be related to each other, and it includes a number of different field types. It also supports a system of import (parsing) and export (rendering) engines, for formats such as XML and CSV. Data entities are able to be exported from, and imported into, a...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Email Checker Pro: check and verify whether the email addresses are valid (format or syntax) and really existing on the corresponding email servers without sending in BATCH mode. Usually, it is used to maintain a clean emailing list. It works very fast, the more the faster due to use...


Platforms: Windows

This generator provides a mechanism for the development and modification of the definition code for simple line charts.These charts consists of sets of joined cardinal points on a grid mounted in a panel. The chart may include text and horizontal and vertical datum lines. The position, size,...


Platforms: JavaScript

Estimates the signal width of data input, using definition: rho = cumtrapz(t,x.^2)/trapz(t,x.^2)The integration limits go from mean(t)-w/2 and mean(t)+w/2; w is defined as the signal width, and gives the time at which rho % of the signal iscaptured. It is an informal measure of the localization...


Platforms: Matlab

process from the Book of Smith, Corripio - Automatic Process ControlContent:+ m-file linearization of nonlinear model+ m-file definition of the nonlinear model+ simulink models for the simulation of the process


Platforms: Matlab

The package contains a simulink model of a mechanism which verify the angle of the road and adjust the torques by giving a angle to a plate located under the load session.this model is not a very complicated one and would be useful to whom want to:1.get familiar with control designs specially PID...


Platforms: Matlab

This submission defines a generic class of matrix-like objects called MatrixObj and a subclass called DataObj. Objects of the class are capable of behaving as matrices, but whose math operators (+,-,*,,.*,,etc...) and other methods can be defined/redefined from within any Mfile or even from the...


Platforms: Matlab

The MathWorks receives many questions relating to Simulink state ordering, state initialization, and Simulink solver performance. Many times customers are not aware of existing capabilities that are available and will solve their current issues.There are 3 MATLAB central submissions (all separate...


Platforms: Matlab

MySQL Upgrade can create an array with the definition of the schema of a given MySQL database and serve it for download.Definitions of database schema can also be compared and one version can be upgraded to the other.


Platforms: PHP