12 citations · 24 across the 4 of their papers we have counts for
4 papers
An Integrated Development Environment for the Prototype Verification System
Paolo Masci, César A. Muñoz
The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrate…
Integrating User Design and Formal Models within PVSio-Web
Nathaniel Watson, Steve Reeves, Paolo Masci
Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logic…
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Camille Fayollas, Célia Martinie, Philippe Palanque +4
Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware pane…
Proceedings Second International Workshop on Formal Integrated Development Environment
Catherine Dubois, Paolo Masci, Dominique Méry
This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on…