This repository provides a collection of interactive simulations developed with the latest version of PVSio-web (v3.0), which is included in VSCode-PVS. The visual front-end of each simulation builds on Web technologies (HTML, CSS, Javascript). Underneath, the prototype is driven by an executable formal model developed in PVS.
The examples were develped within CHI+MED, as part of a research effort on improving the safety of human-machine interfaces in medical devices.
To run the simulations, clone this repository and open the folders with the latest version of the Prototype Builder included in VSCode-PVS.
If you have questions regarding the simulations, or would like to contribute with new simulations, get in touch with us on the PVS Google Group
More examples can be found at the following links: