Welcome in Assertion Manager

The purpose of this tool is to gather the requirements from Sequoia specifications.