CERTivity provides documentation in more format types:
documentation file, CERTivity.pdf, contained in the doc subdirectory from the distribution kit;
application help which can easily be accessed using the application's Menu Help;
many of the application's components expose Context Sensitive Help (default F1), the Table of Contents tree being synchronized with the current context;
a sample subdirectory of the documentation, where you can find samples for testing CERTivity features.