Приложения с тегом "verification"

Найдено приложений: 17
QuickPar QuickPar QuickPar creates parity volumes which can be used as verification and recovery information for a file or group of files.…
MultiPar MultiPar MultiPar is for data protection.…
Software602 Sign Master Software602 Sign Master Unique application allowing work with digital certificates from Certification Authorities on mobile devices (Android and Apple smartphones or tablets). …
wxChecksums wxChecksums wxChecksums is a program which calculates and verifies checksums. So you can check the integrity of one or more files.…
QuickSFV QuickSFV 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.…
Fsum Frontend Fsum Frontend GUI frontend for fsum – a hash calculator supporting a ton of algorithms.…
checkSum+ checkSum+ checkSum+ will handle md5, sfv & cvs files (please, do not confuse with cvs files, since these can be any kind of database file).…
Coq Coq 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.…
StartSSL StartSSL StartSSL - StartCom Free SSL Client, S/Mime, Server, Domain Controller, Smartcard Certificates …
SFVNinja SFVNinja SFV (Simple File Verification) checksum application. It also supports MD5 and SHA-1 checksum files.…
EPANET EPANET Developed by EPA's Water Supply and Water Resources Division, EPANET is software that models water distribution piping systems.…
corz checksum corz checksum checksum, a blisteringly fast, no-nonsense SHA1/MD5 file hashing application for Windows. checksum is a program to create and verify SHA1 and MD5 hashes; aka. "MD5 Sums", or "digital... …
Agda Agda 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.…
persicum's RSC32 persicum's RSC32 A high performance tool for file verification and error correction. Uses a Reed-Solomon Encoder to protect files from digital corruption, similar to QuickPar and MultiPar.…
Active-HDL Active-HDL Active-HDL™ is a Windows® based integrated FPGA Design and Simulation solution. Active-HDL includes a full HDL graphical design tool suite and RTL/gate-level mixed-language Simulator.…
Digesec Hashing Utility Digesec Hashing Utility Digesec Hashing Utility is a free and easy to use hashing utility which produces the user selected digest (checksum) of any file or text, which can then be used to confirm the file's authenticity, …
TestLog TestLog Test plan and test case management software. Improve quality assurance and track your project …