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
You are invited to download it and import it in VirtualBox to try the BProVe functionalities described at pros.unicam.it/bprove/