Tag: verification

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked fo ...

Developed by EPA's Water Supply and Water Resources Division, EPANET is software that models water distribution piping systems ...

MultiPar does archival-grade file verification and repair to protect files from all forms of loss or corruption. Backups alone ...

A high performance tool for file verification and error correction. Uses a Reed-Solomon Encoder to protect files from digital ...

FastCopy is the fastest copy, delete, & sync software on Windows. It uses modern checksum verification to ensure copy accu ...

F (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes po ...

Testing the user interface of today’s applications is a very complex and error-prone task. Automating this task is challenging ...

Test plan and test case management software. Improve quality assurance and track your project

GUI frontend for fsum – a hash calculator supporting a ton of algorithms. Fsum Frontend is a free and easy-to-use tool that a ...

checkSum+ will handle md5, sfv & cvs files (please, do not confuse with cvs files, since these can be any kind of database ...

Bad Peggy scans JPEG images for damage and other blemishes, and shows the results and image instantly. It allows you to find s ...

ViceVersa does File Synchronization, File Replication, File Backup and File Comparison. It can automatically verify data using ...

Visibility into the state of your IT infrastructure, enabling you to understand your risk potential, prevent breaches, and spe ...

QuickPar creates parity volumes which can be used as verification and recovery information for a file or group of files. If su ...

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on value ...

QuickSFV integrates into the Windows Explorer shell and makes it very easy to verify files. Just double-click on the SFV file ...

Vdbench is a disk and tape I/O workload generator for verifying data integrity and measuring performance of direct attached an ...

Take a certified snapshot of any site and share it as a short url. What can you verify? Proof of identity, email transcript, g ...

Unique application allowing work with digital certificates from Certification Authorities on mobile devices (Android and Apple ...

Organizations can benefit from improved internal data flows, better campaigns, incidence reduction and cost reduction. uProc c ...