Apps with 'Verification' feature
- FastCopy is the fastest copy, delete, & sync software on Windows. It uses modern checksum verification to ensure copy accuracy and data integrity.
- Free • Open Source
- Windows
- PortableApps.com
- Though console applications are open source (PAR clients are GPL), GUI application is closed source.
Console applications and some UI resource are open source.- Free
- Windows
- Android
- Android Tablet
- BSD
- Wine
- Generate I/O for benchmarking, stress testing, verification or workload reproduction purposes.
- QuickSFV integrates into the Windows Explorer shell and makes it very easy to verify files. Just double-click on the SFV file and QuickSFV does the rest.
- Crazy & Smart File Copy Program for Windows that lets you have more control when copying files in Windows. Also automate complex tasks & save hours.
- Vdbench is a disk and tape I/O workload generator for verifying data integrity and measuring performance of direct attached and network connected storage on Windows, Solaris...
- ViceVersa does File Synchronization, File Replication, File Backup and File Comparison. It can automatically verify data using a CRC32 checksum.
- GUI frontend for fsum – a hash calculator supporting a ton of algorithms.
Discontinued
Last Update: 2013-04-15, see
https://sourceforge.net/projects/fsumfe/- Free • Open Source
- Windows
- Emerald was built to help people meet each other. In the modern world it's so fast paced it's often really hard to meet new people.
- F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F# for execution.
- Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer.
- Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length.
- The core product for PDF quality control (preflight), auto-correction and manual editing. This runs as a plug-in to Adobe Acrobat.
- QuickPar creates parity volumes which can be used as verification and recovery information for a file or group of files.
Discontinued
This software was discontinued many years ago. MultiPar replaced it.
- Free
- Windows
- Get a non-VOIP Disposable Temporary Phone Number For Phone Verification.