Specification verification tool set - initial version

Summary
The set of tools for checking errors, omissions and inconsistencies in a set of security requirements specified formally.