• Quick summary
• V 0.0.1

In this section, I will be documenting the observations from the continuous execution of the early prototypes.

• The tool runs pretty decent. For checking a run of 60 seconds of the wheel.json model, we report the following times:

• model generation time: 1716 seconds.
• model checking (SMT checking) time: 2.15 seconds.
• version moved to branch "dev"

• Summary of set up
• Configuration
• Dependencies
• Database configuration
• How to run tests
• Deployment instructions

• Writing tests
• Code review
• Other guidelines

For any further information feel free to contact me directly.