...
Step 4 - Diversify & Deploy
Engaging our diversity in classes and state machines we generate multiple verified versions of the code. Then the final step before deployment is to test the code in the EventML simulator.
Example Deployment: ShadowDB
...