You can try BProVe by downloading the BProVeTestingMachine, a virtual machine running Ubuntu 18.10, Eclipse IDE for Java EE Developers, and BProVe ready to be used.

Download BProVe Testing Machine
Download BProVe Testing Machine

You are invited to download it and import it in VirtualBox to try the BProVe functionalities described at pros.unicam.it/bprove/