PVSio-web 2.0: Joining PVS to Human-Computer Interaction
- Citation:
- Masci P, Oladimeji P, Zhang Y, Jones P, Curzon P, Thimbleby H. 2015. PVSio-web 2.0: Joining PVS to Human-Computer Interaction. 27th International Conference on Computer Aided Verification (CAV2015). Lecture Notes in Computer Science, vol 9206, 2015. https://doi.org/10.1007/978-3-319-21690-4_30 copy at www.tinyurl.com/y4gq8v8c
Abstract:
PVSio-web is a graphical environment for facilitating the design and evaluation of interactive (human-computer) systems. Using PVSio-web, one can generate and evaluate realistic interactive prototypes from formal models. PVSio-web has been successfully used over the last two years for analyzing commercial, safety-critical medical devices. It has been used to create training material for device developers and device users. It has also been used for medical device design, by both formal methods experts and non-technical end users.
This paper presents the latest release of PVSio-web 2.0, which will be part of the next PVS distribution. The new tool architecture is discussed, and the rationale behind its design choices are presented
Notes:
http://dx.doi.org/10.1007/978-3-319-21690-4_30
Citation Key:
10.1007/978-3-319-21690-4_30
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.