VERDICT-1.7.0
- Supports the latest OSATE (2.10.2) and AGREE (2.9.1)
- Removes unused options on the MBAAS setting panel
- Updates STEM to be in synch with NIST and CAPEC libraries
- Updates Agree2VDM to support AGREE expressions involving the "mod" operator
- Modernizes the README instructions