Simple application created from a shell script using Platypus.
Open-source file integrity verification tool.
Faster tool for dictionaries verification & repairing
Professional suite for digital signing and verification of digital signatures.
A tool for modelling, simulation, and verification of Timed-Arc Petri net.