PVSio-Web
The facts below are what the maker publishes about PVSio-Web, checked and dated. Our editors have not written about it yet.
The facts
Each one read from PVSio-Web's own pages, with the date it was checked.
What it does
- Analysis and simulation
- The toolkit uses the PVS theorem proving system for analysis and PVS-io for simulation.checked 11 Oct 2026
- Conditional logic
- Yeschecked 20 Sep 2026
- Current distribution
- The project README says the latest version is integrated in VSCode-PVS and available from the Visual Studio Code Marketplace.checked 11 Oct 2026
- Dependency
- The README says PVS v7.1 is needed to execute some PVSio-Web prototypes.checked 11 Oct 2026
- Formal analysis and simulation
- The toolkit uses the PVS theorem proving system for analysis and PVSio for simulation.checked 11 Oct 2026
- Integration
- The latest version is integrated in VSCode-PVS, available from the Visual Studio Code Marketplace.checked 11 Oct 2026
- Integrations
- The project lists PVS, IVY, NuSMV, NuXMV, VDM/Overture, and MathWorks Simulink among verification tools supported by PVSio-Web.checked 11 Oct 2026
- Interaction simulation
- The Simulator View translates user actions into PVS expressions, evaluates them in PVSio, and renders returned expressions in the prototype.checked 11 Oct 2026
- Interactive prototypes
- Yeschecked 20 Sep 2026
- Library setup
- Using PVSio-Web as a library requires the PVS distribution's pvs, pvsio, and proveit scripts on PATH.checked 11 Oct 2026
- License
- The project website states that PVSio-Web is licensed under GPLv3.checked 11 Oct 2026
- Live version limit
- The live web version has a read-only file system, so changes cannot be saved.checked 11 Oct 2026
- Live version limitation
- The project README says its live toolkit has a read-only file system, so changes cannot be saved there.checked 11 Oct 2026
- Model-based prototypes
- It generates and evaluates interactive prototypes based on formal models.checked 11 Oct 2026
- Model editing
- The Model Editor includes syntax highlighting, autocomplete, search, a file browser, and tools to edit and type-check PVS files.checked 11 Oct 2026
- Prototype creation
- Its Prototype Builder lets developers define a device interface picture and add interactive overlay areas for input and output widgets.checked 11 Oct 2026
- Purpose
- PVSio-Web is a graphical toolkit for rapidly prototyping and analyzing human-machine interfaces using Web technologies.checked 11 Oct 2026
- Supported tools
- The project lists PVS, IVY, NuSMV, NuXMV, VDM/Overture, and MathWorks Simulink as verification tools supported by PVSio-Web.checked 11 Oct 2026
- Technical assistance
- The project site directs users seeking technical assistance to contact Paolo Masci or Patrick Oladimeji.checked 11 Oct 2026
- Use cases
- The project says PVSio-Web has been used to analyze medical devices and identify design anomalies that could lead to use errors.checked 11 Oct 2026
- Version requirement
- PVS v7.1 is needed to execute some PVSio-Web prototypes.checked 11 Oct 2026
- Visual modeling
- The EmuCharts Editor supports drawing model states and transitions and generating formal models such as PVS and VDM-SL.checked 11 Oct 2026
Where it runs
- Medical-device use
- The project says PVSio-Web has been used to analyze medical devices for latent design anomalies that could lead to use errors.checked 11 Oct 2026
- Platform support
- webchecked 20 Sep 2026
Alternatives to PVSio-Web
- 1
UXPin
Free planAndroidiOSWebmacOS8.4From $29 a month - 2
Justinmind
Free planAndroidiOSWebAPI8.3From $19 a month - 3
Mockplus
Free planAndroidiOSWebExtension8.3From $2.98 a month - 4
Marvel
Free planAndroidiOSWebAPI8.2From $12 a month - 5
Wondershare Mockitt
Free planAndroidiOSWebLinux8.2From $6 a month - 6
ProtoPie
Free planAndroidiOSWebAPI7.9From $25 a month