Verify is the tool that verifies the integrity, validity and logical consistency of your system model based on RIDDL