Skip to content

Latest commit

 

History

History
22 lines (14 loc) · 1.11 KB

README.md

File metadata and controls

22 lines (14 loc) · 1.11 KB

PVSio-web examples

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.


Running the simulations

To run the simulations, clone this repository and open the folders with the latest version of the Prototype Builder included in VSCode-PVS.



Get in touch

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


Additional Resources

More examples can be found at the following links: