Verification

Custom provides small to medium sized businesses, that buy and sell goods, with:- an e-commerce front-end for their customers- access to anti-fraud protected credit card verification- a Point-of-Sale front-end for the shop floor- Account report

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Software solution for creation and verification of digitral signatures. Can replace tokens and smart cards with mobile phones. Components included are client and server. Can creates, verifiy and store content and signatures. Offers secure sharing.


Platforms: Windows, Mac, Linux

MyHDL is a Python package for using Python as a hardware description and verification language.


Platforms: Windows, Mac, Linux

The Proteomics Standards Initiative (PSI) aims to define community standards for data representation in proteomics to facilitate data comparision, exchange and verification.


Platforms: Windows, Mac, Linux

XML based description of a GUI and a description of rules for the verification of the data in the fields of the GUI


Platforms: Windows, Mac, Linux

A XML plugin for eclipse Planned features: - multiple views on an XML file - schema/dtd support for automatic completion and verification - wizards for different dialects of XML - special project administration


Platforms: Windows, Mac, Linux

DictionaryAnalyzer is the faster tool for dictionaries verification and repairing, designed to use in pair with TranslateIt! Deluxe software. It very useful for checking and repair all downloaded and installed TI dictionaries.


Platforms: Mac

SpamWars- 100% efficient anti-spam protection, with no loss of bona fide mail, thanks to a verification method of the relation between you and your e-mail contacts. This technique, called Challenge - Response, not only works for traditional e-mails but also for automated replies, newsletters or...


Platforms: Mac, Java

Dependency Structure Matrices (DSMs) are very useful in the analysis and verification of software architectures because they allow the analyst to more easily understand inter-module dependencies than traditional box and arrow techniques which become impossible to use for all but the simplest...


Platforms: Windows, ASP.NET,

Verisign Payflow Link payment module, w/optional CSC (Card Verification Number), made to work with new checkout process. Replaces all earlier releases of the Verisign PayFlow Link payment module.


Platforms: Windows, *nix, PHP, BSD

Using this script, you can avoid trivial verification of php scripts deployed on your store those not checking the data types when accessing the database thus having potential security holes in your store’s code.This module filters parameters passed during page transitions through the...


Platforms: Windows, *nix, PHP, BSD

This is a payment module to use with LYNK Systems credit card verification system


Platforms: Windows, *nix, PHP, BSD

ePasspporte payment module with manual verification on epassporte.com


Platforms: Windows, *nix, PHP, BSD

It will calculate the conductor's short circuit current, total cantilever load, short circuit force transmitted to the GIS, heat loss by radiation & convection, equivalent power loss and many other more indicators. Requirements: - MATLAB 7.2 or higher - MATLAB's Symbolic Math Toolbox


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

This is an alphanumeric and symbols verification script that would stop automated sign-ups and brute-forcing,in hope of preventing more denial of service attacks and brute-forcing of accounts on php based sign-up and login scripts,which will save much more bandwidth.The script is very easy to...


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

This tool is a lightweight, fast and reliable Sendmail filter that implements a real-time Sender e-Mail Address Verification technology. This technology can stop some kinds of SPAM with a spoofed sender's e-Mail address. Also it implements a real-time Recipient e-Mail Address Verification...


Platforms: *nix, C/C++, BSD

The verification is done via Google Search.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 2.6 or higher


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

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

This tutorial starts with a simple conceptual model of an analog Phase-Locked Loop (PLL). Through elaboration it ends at a model of an all digital and fixed-point phase-locked loop. The final model can serve a starting point for code generation (both ANSI C or synthesizable HDL).The step-wise...


Platforms: Matlab