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