This service has pure educational purpose and designated to help cybersecurity specialists understand the usability of the formal security simulation for improving a security of their systems.
This site is free for users but due to limited resources we have to restrict the complexity of the models. Additional limitation (number of the running task e.t.c.) may be applied in situ depends on the available resources.
Our team has made considerable effort to provide error free and secure service, but due to the research nature of the project we are not able to guarantee completeness and correctness of the results obtained from service or confidentiality, integrity and availability of users' data. The interpretation and verification of the results are the sole responsibility of the users.
It is necessary to register, to start using the service. The registration is completely free and used only for improving and updating the service.