These examples are taken from the release verification and validation suite, and show the capabilities of Azore®.