Attempts to verify all the properties defined in the security model, while also being portable and able to run on many platforms.
Petteri Aimonen