In this page we explain the usage of ProMoVer web interface. The web interface is only designed to give users the opportunity to try ProMoVer. A complete full-fledged tool release is in our future plans.

The verification result is shown after some time. Notice that the result may take some minutes to appear.