Download of ProVER 1.0 was on the developer's website when we last checked. We cannot confirm if there is a free download of this software available. Dactylis.ProVER.exe or ProVER.exe are the frequent file names to indicate the ProVER installer.
The most popular version among the software users is 1.0. This software is an intellectual property of Prover Technology AB. ProVER lies within Development Tools, more precisely IDE. We recommend checking the downloaded files with any free antivirus.
From the developer:
The Prover Plug-In products are intended for developers and suppliers of various system design and verification tools, for instance those used in electronic design, complex IC and systems on a chip, critical control software, embedded systems, and design and specification tools for languages such as TTCN, UML, and SDL, to name a few.
You may want to check out more software, such as CBL Pro-V, Medieval Dungeons or Loveless Cat, which might be similar to ProVER.