The RADON Verification Tool Video is now Live!

We are very happy to announce that our Project Coordinator, the Imperial College London just released a video presenting the RADON Verification Tool.

When deploying a cloud application, there are many things to worry about like is my architecture secure enough? Are there any user requests which might fail or cause a crash? Or does my application ensure users’ privacy?

The RADON Constraint Definition Language provides a way for software designers to define custom requirements on their application, and our architecture verification tool can check whether an architecture conforms to their requirements.

All you need to do is follow these steps:
1. Design your architecture.
2. Write your requirements as constraints.
3. Verify your architecture. If your application is not ready for deployment, the RADON Verification Tool will display a list of issues that need to be fixed.

And once any issues have been fixed, you are ready to deploy your application!

Check more on the verification Tool in the video below!