The Requirements Interchange Format (ReqIF) is designed for the exchange of requirements. And this exchange typically happens interactively more than once, as parties exchange requirements over and over again, refining them in the process.
In this exchange, an important question is to find out what has changed. While our exchange component Axiom provides a summary, users typically want to analyze the changes, look at individual differences, etc. Our new component Binom allows this.
Binom is the new component for ReqIF compare by Formal Mind. It is currently in Beta Testing (contact us if you are interested in participating in the test). For more details, check out the blog post about Binom.
Once released, Binom will be available in the Formal Mind Store.