Mechanical Verifier

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.... Platforms: Windows

Quick Checksum Verifier checks file integrity by secure time proven algorithms like MD5 and SHA-1. You can easily create checksums of files and verify their integrity in the future. The operation is very easy, just two steps. Load the file and paste the predefined checksum. This software... Platforms: Windows

Quick Checksum Verifier checks file integrity by secure time proven algorithms like MD5 and SHA-1. You can easily create checksums of files and verify their integrity in the future. The operation is very easy, just two steps. Load the file and paste the predefined checksum. This software... Platforms: Windows

Hash Verifier was designed as a handy and easy-to-use graphical utility that allows a user to generate hashes of their files. Hash Verifier can be very useful if you want to check if a download has been corrupted. Now you can check the hash of your files in no time at all. Platforms: Windows

Email Verifier Professional quickly and easily verifies email addresses. Email Verfier removes invalid, not existed and dupicate emails. Email Verifier is designed for users who have their own mailing lists and want to keep them up-to-date. The tool verifies every email address from a selected... Platforms: Windows

-Ini File Tidier/Verifier is a handy *.ini file verifier, tidier and sorter. Tidies and sorts windows *.ini files, ones that look like this: [section] ; a comment item=value; To use: java.exe -jar ini.jar C:somedirsomefile.ini UTF-8 Where UTF-8 in the encoding. Opera uses UTF-8. You can leave it... Platforms: Windows, XP, Windows Vista

Email Verifier - a unique program that checks email addresses for the validity. The tool is designed for users who have their own mailing lists and want to keep them up-to-date. The tool verifies every e-mail address from a selected database or text file, allowing you to determine up to 80% of... Platforms: Windows

Mechanical ID is a program designed to supply passwords or random characters to the video or a text file. Platforms: *nix

Email Verifier is a web based email verification tool for email address verification services at affordable prices. Our email verifier service will help you clean your mailing list by validating each email you upload and verify email. Our 12 stage email verification process will ensure you get... Platforms: Mac

Free MD5 SHA1 Verifier is a freeware tool designed to calculate and verify checksums (hash) of downloaded files. Supports MD5, SHA-1, HAVAL, MD2, SHA-256, SHA-384, SHA-512. Key Features: The program has a convenient user interface. Instantly calculate checksum (hash) for any file. Verify file... Platforms: Windows, Windows 8, Windows 7, Windows Server

This FREE software checks for existence of an email address. It verifies / validates email addresses in a list, removes invalid entries and clean the list. Performs three levels of verification - syntax level,domain level and server level with a high speed multithreaded engine. Use this tool... Platforms: Windows

Mass Mailer Robot Mass Mailer Robot is professional high performance email marketing software for targeted bulk email marketing campaigns and email lists building at your desktop. With Mass Mailer Robot you can easily manage mailing lists for your subscribers, create high personalized HTML... Platforms: Windows, Linux, Unix, Other

Java Class and Byte Code verifier. Verifies static class file structure, external references, analyzes operand stack and local variables through byte code execution emulation. Includes CLDC standard verfication. Platforms: Windows, Mac, Linux

This script allows you to keep your visitors from submitting their form until their "password" and "re-enter password" fields match, for verification purposes.They get an error message telling them to re-enter the passwords if they do not match. Platforms: JavaScript

These files were used in the webinar on Modeling Mechanical, Electric and Hydraulic Systems in Simulink, which was broadcast on April 6th, 2006.In this webinar (Now Recorded and available from our website), we show how SimulinkdlT« enables faster and more effective development of controlled... Platforms: Matlab

Mailbox Verifier (MV) is a small free software that will notify you about new messages arrived to your mailbox. The number of mailboxes MV can check is unlimited; it works with the POP3 protocol and can't deal with web-interface mailboxes and IMAP-servers. Besides, MV is very flexible and easy to...

The clock is a mechanical living being that sails in the great river of time ahead of our civilization. Like the nights devide the days, the seconds devide the minutes and hours. Processes inside the clockwork are interfacing with the natural life cycles. The Mechanical Clock will help us to feel... Platforms: Windows

VariCAD is 3D/2D CAD system primarily intended for mechanical engineering design. In addition to powerful tools for 3D modeling and 2D drafting and dimensioning, the CAD system provides libraries of standard mechanical parts (ANSI, DIN), calculations of standard mechanical components, and tools... Platforms: Linux

VariCAD is 3D/2D CAD system primarily intended for mechanical engineering design. In addition to powerful tools for 3D modeling and 2D drafting and dimensioning, the CAD system provides libraries of standard mechanical parts (ANSI, DIN), calculations of standard mechanical components, and tools... Platforms: Linux

VariCAD is 3D/2D CAD system primarily intended for mechanical engineering design. In addition to powerful tools for 3D modeling and 2D drafting and dimensioning, the CAD system provides libraries of standard mechanical parts (ANSI, DIN), calculations of standard mechanical components, and tools... Platforms: Linux