ValidationJS Files

Status: Beta

Brought to you by: micdah

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
0.9.0_beta	2008-11-04	0
Totals: 1 Item		0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Paessler - Monitor Your Whole Network in Minutes

Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.

Start Free 30-Day Trial

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

email-checker-php-sdk
PHP SDK to connect with Easy Email Verification API and validate email
The PEP tool
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
a validating tool of BPEL programme
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
TLM2.0 Wrapper
This library allows inserting wrappers in the TLM2.0 transaction path without top module source code modifications. This is usefull for several verification purposes like: assertion based verification, transaction tracking or fault injection.
UVM
This project hosts the reference implementation of a common base library(CBL) code for Universal Verification Methodology (UVM) as proposed by the Accellera Verification Intellectual Property Technical Subcommittee.