
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/